2 search results - page 1 / 1 » MathLang Translation to Isabelle Syntax |
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...
ICGI
1998
Springer
13 years 8 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...