2 search results - page 1 / 1 » The Naproche Project Controlled Natural Language Proof Check... |
96
Voted
CNL
2009
14 years 10 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
80
Voted
MKM
2007
Springer
15 years 3 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 (...