5510 search results - page 151 / 1102 » Mathematics |
153
click to vote
DAS
2008
Springer
15 years 5 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
122
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
It is widely believed that mathematics will be one of the major applications for Tablet PCs and other pen-based devices. In this paper we discuss many of the issues that make doin...
127
click to vote
JUCS
2010
14 years 10 months ago
2010
: Veldman proved that the contrapositive of countable binary choice is a theorem of full-fledged intuitionism, to which end he used a principle of continuous choice and the fan the...
129
click to vote
ITS
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
140
Voted
IJCAI
1993
15 years 5 months ago
1993
Whilst much emphasis in AI has been placed on the use of goals in problem solving, less emphasis has been placed on the role of perception and experience. In this paper we show th...