The Naproche system: Proof-checking mathematical texts in controlled natural language

Cramer, Marcos

Reference : The Naproche system: Proof-checking mathematical texts in controlled natural language


	Document type :	Scientific journals : Article
	Discipline(s) :	Physical, chemical, mathematical & earth Sciences : Mathematics Engineering, computing & technology : Computer science Arts & humanities : Languages & linguistics
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/30185

Title :	The Naproche system: Proof-checking mathematical texts in controlled natural language
Language :	English
Author, co-author :	Cramer, Marcos [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	May-2016
Journal title :	Sprache und Datenverarbeitung. International Journal for Language Data Processing
Publisher :	Universitätsverlag Rhein-Ruhr
Volume :	2014
Issue/season :	1-2
Special issue title :	The language of mathematics – computational, linguistic and logical aspects
Pages :	9-33
Peer reviewed :	Yes
Audience :	International
ISSN :	0343-5202
Country :	Germany
Keywords :	[en] 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 centres :	SnT
Funders :	Fonds National de la Recherche - FnR
Name of the research project :	Specification logics and Inference tools for verification and Enforcement of Policies
Target :	Researchers ; Students
Permalink :	http://hdl.handle.net/10993/30185
FnR project :	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):

	File	Commentary	Version	Size	Access
Open access	SDV.pdf		Author postprint	309.03 kB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices