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