Reference : The Naproche system: Proof-checking mathematical texts in controlled natural language |
Scientific journals : Article | |||
Physical, chemical, mathematical & earth Sciences : Mathematics Engineering, computing & technology : Computer science Arts & humanities : Languages & linguistics | |||
Computational Sciences | |||
http://hdl.handle.net/10993/30185 | |||
The Naproche system: Proof-checking mathematical texts in controlled natural language | |
English | |
Cramer, Marcos ![]() | |
May-2016 | |
Sprache und Datenverarbeitung. International Journal for Language Data Processing | |
Universitätsverlag Rhein-Ruhr | |
2014 | |
1-2 | |
The language of mathematics – computational, linguistic and logical aspects | |
9-33 | |
Yes | |
International | |
0343-5202 | |
Germany | |
[en] Naproche ; mathematical language ; CNL ; proof-checking ; implicit function introduction ; definitions | |
[en] The Naproche system is a system for linguistically analysing and proof-checking mathematical texts written in a controlled natural language, i.e. a subset of the usual natural language of mathematical texts defined through a formal grammar. This paper gives an overview over the linguistic and logical techniques developed for the Naproche system. Special attention is given to the dynamic nature of quantification in natural language, to the phenomenon of implicit function introduction in mathematical texts, and to the usage of definitions for dynamically extending the language of a mathematical text. | |
SnT | |
Fonds National de la Recherche - FnR | |
Specification logics and Inference tools for verification and Enforcement of Policies | |
Researchers ; Students | |
http://hdl.handle.net/10993/30185 | |
FnR ; FNR4758104 > Leon Van Der Torre > SIEP > Specification logics and Inference tools for verification and Enforcement of Policies > 01/06/2012 > 30/04/2017 > 2011 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.