5510 search results - page 42 / 1102 » Mathematics |
DAGSTUHL
2003
14 years 11 months ago
2003
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
JSC
2007
14 years 9 months ago
2007
We consider computer aided assessment (CAA) of mathematics in which a student provides an answer in the form of a mathematical expression. A common approach is for CAA system impl...
EATCS
2002
14 years 9 months ago
2002
This article introduces three of the twentieth century's main philosophies of mathematics and argues that of those three, one describes mathematical reality, the \reality&quo...
66
Voted
AISC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
IUI
2010
ACM
15 years 6 months ago
2010
ACM
We present a new approach for creating dynamic illustrations to assist in the understanding of concepts in physics and mathematics using pen-based interaction. Our approach builds...