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.
Download full text files
Additional Services
Statistics
| 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): |  Urheberrechtlich geschützt |