2086 search results - page 33 / 418 » Mathematical Theory Exploration |
KGC
1997
Springer
14 years 24 days ago
1997
Springer
Rice’s Theorem says that every nontrivial semantic property of programs is undecidable. In this spirit we show the following: Every nontrivial absolute (gap, relative) counting p...
IIE
2007
13 years 8 months ago
2007
: This study focuses on the use of innovative Tablet PC technology in learning and teaching mathematics. Specifically the effects of incorporating Tablet PC technology in preservic...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Current standard interfaces for entering mathematical equations on computers are arguably limited and cumbersome. Mathematics notations have evolved to aid visual thinking and yet...
GRAPHICSINTERFACE
2008
13 years 10 months ago
2008
We present an experimental study that evaluates four different techniques for visualizing the machine interpretation of handwritten mathematics. Typeset in Place puts a printed fo...
ACST
2006
13 years 10 months ago
2006
Including mathematical expressions in documents can be a tiresome and difficult process. A recognition system for handwritten mathematical expressions would greatly simplify the t...