Proof-checking Euclid

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1573-7470
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

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

Creator
Beeson, Michael J.
Narboux, Julien
Wiedijk, Freek
Contributor
SpringerLink (Online service)

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

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

Other Objects (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

Related objects