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 mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
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
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):

FileCommentaryVersionSizeAccess
Open access
SDV.pdfAuthor postprint309.03 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.