Konferenzbeitrag
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
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.
- Sprache
-
Englisch
- Thema
-
Computerlinguistik
Natürliche Sprache
Automatisches Beweisverfahren
Texttechnologie
Formale Semantik
Sprache
- Ereignis
-
Geistige Schöpfung
- (wer)
-
Cramer, Marcos
Fisseni, Bernhard
Koepke, Peter
Kühlwein, Daniel
Schröder, Bernhard
Veldman, Jip
- Ereignis
-
Veröffentlichung
- (wer)
-
Berlin [u.a.] : Springer
- (wann)
-
2018-11-05
- URN
-
urn:nbn:de:bsz:mh39-81935
- Letzte Aktualisierung
-
06.03.2025, 09:00 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Leibniz-Institut für Deutsche Sprache - Bibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Leibniz-Institut für Deutsche Sprache - Bibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzbeitrag
Beteiligte
- Cramer, Marcos
- Fisseni, Bernhard
- Koepke, Peter
- Kühlwein, Daniel
- Schröder, Bernhard
- Veldman, Jip
- Berlin [u.a.] : Springer
Entstanden
- 2018-11-05
Ähnliche Objekte (12)
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Eine Sicht auf die Perspektive
Zwischen Perspektiven
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Überhaupt und sowieso and überhaupt en sowieso
Something Empirical about Focus
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Überhaupt und sowieso and überhaupt en sowieso
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Eine Sicht auf die Perspektive
Zwischen Perspektiven
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Überhaupt und sowieso and überhaupt en sowieso
Something Empirical about Focus
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Überhaupt und sowieso and überhaupt en sowieso
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
Eine Sicht auf die Perspektive
Zwischen Perspektiven
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Grammis' Grammatische Fachbegriffe: Ein Reisebericht
Überhaupt und sowieso and überhaupt en sowieso
Something Empirical about Focus
Computer sind dumm - und daher äußerst nützlich! Eine kurze Einführung in die komplexe Welt der Computerlinguistik
Which Dimensions of Narratives are Relevant for Human Judgments of Story Equivalence?
Grammis' Grammatische Fachbegriffe: Ein Reisebericht