Volltext-Downloads (blau) und Frontdoor-Views (grau)
The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 4 of 6
Back to Result List

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

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
DDC classes:400 Sprache / 400 Sprache, Linguistik
Open Access?:ja
Linguistics-Classification:Computerlinguistik
Licence (German):License LogoUrheberrechtlich geschützt