13 search results - page 3 / 3 » mkm 2004 |
213
Voted
MKM
2004
Springer
16 years 3 days ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
180
Voted
MKM
2004
Springer
16 years 3 days ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
147
Voted
AISC
2004
Springer
16 years 4 days 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...