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

ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise

  • Mathematische Texte sind natürlichsprachlich (ggf. mit formelsprachliche Anteilen), nicht formalsprachlich. ProofML ist ein Dateiformat, das erlaubt, sie so zu annotieren, daß der natürlichsprachlichen eine logische Struktur zugeordnet wird.
  • Mathematical texts are usually not fully formalised but are written in natural language (possibly interspersed with formulae). ProofML is an XML application that permits to annotate mathematical proofs so that a logical structure is assigned to the linguistic structure.

Export metadata

Additional Services

Search Google Scholar

Statistics

frontdoor_oas
Metadaten
Author:Bernhard FisseniGND
URN:urn:nbn:de:bsz:mh39-82509
ISBN:3-631-53874-X
Parent Title (German):Sprachtechnologie, mobile Kommunikation und linguistische Ressourcen. Beiträge zur GLDV-Tagung 2005 in Bonn
Series (Serial Number):Sprache, Sprechen und Computer. Computer Studies in Language and Speech (8)
Publisher:Lang
Place of publication:Frankfurt am Main [u.a.]
Editor:Bernhard Fisseni, Hans-Christian Schmitz, Bernhard Schröder, Petra Wagner
Document Type:Conference Proceeding
Language:German
Year of first Publication:2005
Date of Publication (online):2018/11/21
Publicationstate:Zweitveröffentlichung
Reviewstate:(Verlags)-Lektorat
GND Keyword:Automatisches Beweisverfahren; Computerlinguistik; Natürliche Sprache; Texttechnologie; XML
First Page:604
Last Page:618
DDC classes:400 Sprache / 400 Sprache, Linguistik
Open Access?:ja
Linguistics-Classification:Computerlinguistik
Licence (German):License LogoUrheberrechtlich geschützt