2086 search results - page 1 / 418 » Mathematical Theory Exploration |
AISC
2004
Springer
13 years 10 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...
CASC
2007
Springer
13 years 10 months ago
2007
Springer
SYNASC
2007
IEEE
13 years 10 months ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
SYNASC
2006
IEEE
13 years 10 months ago
2006
IEEE
MKM
2009
Springer
13 years 9 months ago
2009
Springer
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...