Sciweavers

CNL
2009

The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts

13 years 4 months ago
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation Structures, an adaptation of Discourse Representation Structures, are used to represent the semantics of texts written in the Naproche CNL. We discuss how the Naproche CNL can be used in formal mathematics, and present our prototypical Naproche system, a computer program for parsing texts in the Naproche CNL and checking the proofs in them for logical correctness.
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Dan
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2009
Where CNL
Authors Marcos Cramer, Bernhard Fisseni, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman
Comments (0)