Volltext-Downloads (blau) und Frontdoor-Views (grau)

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.

Export metadata

Additional Services

Share in Twitter Search Google Scholar

Statistics

frontdoor_oas
Metadaten
Author:Jip Veldman, Bernhard FisseniGND, Bernhard SchröderGND, Peter Koepke
URN:urn:nbn:de:bsz:mh39-82578
ISBN:978-3-8233-6511-2
Parent Title (Multiple languages):Von der Form zur Bedeutung: Texte automatisch verarbeiten. From Form to Meaning: Processing Texts Automatically. Proceedings of the Biennial GSCL Conference 2009
Publisher:Narr
Place of publication:Tübingen
Editor:Christian Chiarcos, Richard Eckart de Castilho, Manfred Stede
Document Type:Conference Proceeding
Language:English
Year of first Publication:2009
Date of Publication (online):2018/11/22
Publicationstate:Zweitveröffentlichung
Reviewstate:(Verlags)-Lektorat
Tag:Discourse Representation Theory; controlled natural language
GND Keyword:Automatisches Beweisverfahren; Computerlinguistik; Formale Semantik; Natürliche Sprache; Texttechnologie
First Page:137
Last Page:145
Dewey Decimal Classification:400 Sprache / 400 Sprache, Linguistik
Linguistics-Classification:Computerlinguistik
Open Access?:Ja
Licence (German):Es gilt das UrhG