Please use this identifier to cite or link to this item:
doi:10.22028/D291-41446 | Title: | A Proof Representation |
| Author(s): | Berkelhammer, Jessi |
| Language: | English |
| Year of Publication: | 2004 |
| Place of publication: | Saarbrücken |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | We present the proof representation language to be used by the mediator between an environment for writing mathematical documents and proof assistants. This language is an updated version of the one introduced in [1]. |
| Link to this record: | urn:nbn:de:bsz:291--ds-414460 hdl:20.500.11880/37829 http://dx.doi.org/10.22028/D291-41446 |
| Series name: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
| Series volume: | 2004,2 |
| Date of registration: | 7-Jun-2024 |
| Faculty: | SE - Sonstige Einrichtungen |
| Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professorship: | SE - Sonstige |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SEKI-Report-SR-2004-02_Berkelhammer_A-Proof-Representation.pdf | 4,1 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.