The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts

  title={The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts},
  author={Marcos Cramer and Peter Koepke and Daniel K{\"u}hlwein and Bernhard Schr{\"o}der and Jip Veldman},
The Naproche project (NAtural language PROof CHEcking) studies the semiformal language of mathematics (SFLM) as used in journals and textbooks from the perspectives of linguistics, logic and mathematics. A central goal of Naproche is to develop and implement a controlled natural language (CNL) for mathematical texts which can be transformed automatically into equivalent first order formulas by methods of computational linguistics. Since parts of mathematical texts are strictly formal, we expect… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 20 extracted citations

A Survey and Classification of Controlled Natural Languages

Computational Linguistics • 2014
View 2 Excerpts


Publications referenced by this paper.
Showing 1-8 of 8 references

A calculus for Proof Representation Structures

D. Kühlwein
Diploma thesis (University of Bonn, • 2008
View 1 Excerpt

Generating Proof Representation Structures for the Project Naproche

N. Kolev
Magister thesis (University of Bonn, • 2008
View 2 Excerpts

Representation and Inference for Natural Language Volume II: Working with Discourse Representation Structures

P. Blackburn, J. Bos
View 1 Excerpt

An Introduction to the Theory of Numbers (Fourth Edition

G. H. Hardy, E. M. Wright
View 1 Excerpt

Similar Papers

Loading similar papers…