From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics

From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics

We present an extension to Discourse Representation Theory that can be used to analyze mathematical texts written in the commonly used semi-formal language of mathematics (or at least a subset of it). Moreover, we describe an algorithm that can be used to check the resulting Proof Representation Str...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Veldman, Jip, Fisseni, Bernhard, Schröder, Bernhard, Koepke, Peter
Format: Web Resource
Sprache:eng ; ger
Schlagworte:
Automatisches Beweisverfahren
Computerlinguistik
Formale Semantik
Natürliche Sprache
Sprache
Texttechnologie
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We present an extension to Discourse Representation Theory that can be used to analyze mathematical texts written in the commonly used semi-formal language of mathematics (or at least a subset of it). Moreover, we describe an algorithm that can be used to check the resulting Proof Representation Structures for their logical validity and adequacy as a proof.