11 search results - page 1 / 3 » Restoring Natural Language as a Computerised Mathematics Inp... |
MKM
2007
Springer
13 years 11 months ago
2007
Springer
MKM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
MKM
2009
Springer
13 years 11 months ago
2009
Springer
Converting mathematical documents from a human-friendly natural language to a form that can be readily processed by computers is often a tedious, manual task. Translating between v...
COGSYS
2005
Springer
13 years 7 months ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
TSD
2004
Springer
13 years 10 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...