Article (Scientific journals)
The Naproche system: Proof-checking mathematical texts in controlled natural language
Cramer, Marcos
2016In Sprache und Datenverarbeitung. International Journal for Language Data Processing, 2014 (1-2), p. 9-33
Peer reviewed
 

Files


Full Text
SDV.pdf
Author postprint (316.44 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Naproche; mathematical language; CNL; proof-checking; implicit function introduction; definitions
Abstract :
[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.
Research center :
SnT
Disciplines :
Mathematics
Computer science
Languages & linguistics
Author, co-author :
Cramer, Marcos ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
The Naproche system: Proof-checking mathematical texts in controlled natural language
Publication date :
May 2016
Journal title :
Sprache und Datenverarbeitung. International Journal for Language Data Processing
ISSN :
0343-5202
Publisher :
Universitätsverlag Rhein-Ruhr, Germany
Special issue title :
The language of mathematics – computational, linguistic and logical aspects
Volume :
2014
Issue :
1-2
Pages :
9-33
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
FnR Project :
FNR4758104 - Specification Logics And Inference Tools For Verification And Enforcement Of Policies, 2011 (01/06/2012-30/04/2017) - Leon Van Der Torre
Name of the research project :
Specification logics and Inference tools for verification and Enforcement of Policies
Funders :
FNR - Fonds National de la Recherche [LU]
Available on ORBilu :
since 15 March 2017

Statistics


Number of views
169 (9 by Unilu)
Number of downloads
159 (4 by Unilu)

Bibliography


Similar publications



Contact ORBilu