Proof-checking Euclid

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1573-7470
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
Proof-checking Euclid ; day:10 ; month:1 ; year:2019 ; pages:1-45
Annals of mathematics and artificial intelligence ; (10.1.2019), 1-45

Urheber
Beeson, Michael J.
Narboux, Julien
Wiedijk, Freek
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s10472-018-9606-x
URN
urn:nbn:de:101:1-2019021622085353908233
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 11:00 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Ähnliche Objekte (12)

Proof of euclid II. 8.

Aufsatz

Proof of euclid II. 8.

Note to my proof of Euclid's twelfth axiom.

Aufsatz

Note to my proof of Euclid's twelfth axiom.

Proof-checking mathematical texts in controlled natural language

Hochschulschrift

Proof-checking mathematical texts in controlled natural language

Proof-checking mathematical texts in controlled natural language

Hochschulschrift

Proof-checking mathematical texts in controlled natural language

Euclid

Kapitel

Euclid

The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts

Konferenzbeitrag

The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts

The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts

The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts

"Euclid", Programmieranleitung

"Euclid", Programmieranleitung

Euclid preparation

Euclid preparation

Euclid preparation

Euclid preparation

Euclid preparation

Euclid preparation

Euclid preparation

Euclid preparation

Verbundene Objekte