Login / Signup
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts.
Marcos Cramer
Bernhard Fisseni
Peter Koepke
Daniel Kühlwein
Bernhard Schröder
Jip Veldman
Published in:
CNL (2009)
Keyphrases
</>
controlled natural language
mathematical proofs
project management
case study
mathematical knowledge
natural language
automated theorem provers
fine grained
metadata
database systems
theorem prover
theorem proving
natural language text