Konferenzbeitrag
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 Structures for their logical validity and adequacy as a proof.
- Language
-
Englisch
- Subject
-
Computerlinguistik
Automatisches Beweisverfahren
Formale Semantik
Natürliche Sprache
Texttechnologie
Sprache
- Event
-
Geistige Schöpfung
- (who)
-
Veldman, Jip
Fisseni, Bernhard
Schröder, Bernhard
Koepke, Peter
- Event
-
Veröffentlichung
- (who)
-
Tübingen : Narr
- (when)
-
2018-11-22
- URN
-
urn:nbn:de:bsz:mh39-82578
- Last update
-
06.03.2025, 9:00 AM CET
Data provider
This object is provided by:
Leibniz-Institut für Deutsche Sprache - Bibliothek. If you have any questions about the object, please contact the data provider.
Leibniz-Institut für Deutsche Sprache - Bibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzbeitrag
Associated
- Veldman, Jip
- Fisseni, Bernhard
- Schröder, Bernhard
- Koepke, Peter
- Tübingen : Narr
Time of origin
- 2018-11-22
Other Objects (12)
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
Sprachausschnitt: Bereich Medizin - Sprache/Wortschatz vs. Texte/Vokabulare - Zum Umgang mit Wörtern ; Wörterbuchausschnitt - Wörterbuchmerkmale - Kleincorpus medizinisch-fachexterner Texte - Wörterbuchkandidaten
Deutsche Rechtschreibung: Regeln und Wörterverzeichnis. Text der amtlichen Regelung. Vorwort
Sprachspiele, kommunikative Verfahren und Texte in der Politik. Versuch einer Textsortenspezifik
Argumentationsmuster beim Aushandeln von EG-Texten: 'Stellungnahmen' zwischen Fachfragen, Interkulturalität und institutioneller Entscheidungsfindung
Austrasien - ein pfälzischer Landschreiber entwirft einen Staat, einen Friedensvertrag und eine deutsche Verfassung. Text und Wortgebrauch
Vom Text zum Wörterbuch. Ermittlung und Darstellung von DDR- und BRD-Spezifika im Bonner Maschinellen Korpus-Wörterbuch
Applied proof theory: proof interpretations and their use in mathematics
Achillesferse und Ariadnefaden. Antike Bilder in deutschen Texten
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
Logic and proof method of recursion
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
Sprachausschnitt: Bereich Medizin - Sprache/Wortschatz vs. Texte/Vokabulare - Zum Umgang mit Wörtern ; Wörterbuchausschnitt - Wörterbuchmerkmale - Kleincorpus medizinisch-fachexterner Texte - Wörterbuchkandidaten
Deutsche Rechtschreibung: Regeln und Wörterverzeichnis. Text der amtlichen Regelung. Vorwort
Sprachspiele, kommunikative Verfahren und Texte in der Politik. Versuch einer Textsortenspezifik
Argumentationsmuster beim Aushandeln von EG-Texten: 'Stellungnahmen' zwischen Fachfragen, Interkulturalität und institutioneller Entscheidungsfindung
Austrasien - ein pfälzischer Landschreiber entwirft einen Staat, einen Friedensvertrag und eine deutsche Verfassung. Text und Wortgebrauch
Vom Text zum Wörterbuch. Ermittlung und Darstellung von DDR- und BRD-Spezifika im Bonner Maschinellen Korpus-Wörterbuch
Applied proof theory: proof interpretations and their use in mathematics
Achillesferse und Ariadnefaden. Antike Bilder in deutschen Texten
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
Logic and proof method of recursion
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
Sprachausschnitt: Bereich Medizin - Sprache/Wortschatz vs. Texte/Vokabulare - Zum Umgang mit Wörtern ; Wörterbuchausschnitt - Wörterbuchmerkmale - Kleincorpus medizinisch-fachexterner Texte - Wörterbuchkandidaten
Deutsche Rechtschreibung: Regeln und Wörterverzeichnis. Text der amtlichen Regelung. Vorwort
Sprachspiele, kommunikative Verfahren und Texte in der Politik. Versuch einer Textsortenspezifik
Argumentationsmuster beim Aushandeln von EG-Texten: 'Stellungnahmen' zwischen Fachfragen, Interkulturalität und institutioneller Entscheidungsfindung
Austrasien - ein pfälzischer Landschreiber entwirft einen Staat, einen Friedensvertrag und eine deutsche Verfassung. Text und Wortgebrauch
Vom Text zum Wörterbuch. Ermittlung und Darstellung von DDR- und BRD-Spezifika im Bonner Maschinellen Korpus-Wörterbuch
Applied proof theory: proof interpretations and their use in mathematics
Achillesferse und Ariadnefaden. Antike Bilder in deutschen Texten
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings