TY  - CHAP
U1  - Konferenzveröffentlichung
A1  - Cramer, Marcos
A1  - Fisseni, Bernhard
A1  - Koepke, Peter
A1  - Kühlwein, Daniel
A1  - Schröder, Bernhard
A1  - Veldman, Jip
ED  - Fuchs, Norbert E.
T1  - The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
T2  - Controlled Natural Language. Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers
N2  - 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.
T3  - Lecture Notes in Computer Science - 5972 
KW  - CNL
KW  - proof checking
KW  - formal mathematics
KW  - mathematical language
KW  - Computerlinguistik
KW  - Natürliche Sprache
KW  - Automatisches Beweisverfahren
KW  - Texttechnologie
KW  - Formale Semantik
Y1  - 2010
UN  - https://nbn-resolving.org/urn:nbn:de:bsz:mh39-81935
SN  - 978-3-642-14418-9
SB  - 978-3-642-14418-9
U6  - https://doi.org/10.1007/978-3-642-14418-9_11
DO  - https://doi.org/10.1007/978-3-642-14418-9_11
SP  - 170
EP  - 186
PB  - Springer
CY  - Berlin [u.a.]
ER  -