Euclid after Computer Proof-Checking (Q5094535)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7566943

Language	Label	Description	Also known as
English	Euclid after Computer Proof-Checking	scientific article; zbMATH DE number 7566943

Statements

scholarly article

0 references

Euclid after Computer Proof-Checking (English)

0 references

The American Mathematical Monthly

0 references

publication date

3 August 2022

0 references

full work available at URL

https://arxiv.org/abs/2103.09623

0 references

Michael J. Beeson

0 references

MaRDI profile type

MaRDI publication profile

0 references

Proof-checking Euclid

0 references

Finding proofs in Tarskian geometry

0 references

Formalization of the arithmetization of Euclidean plane geometry and applications

0 references

Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq

0 references

A synthetic proof of Pappus' theorem in Tarski's geometry

0 references

The development of Euclidean axiomatics. The systems of principles and the foundations of mathematics in editions of the \textit{Elements} in the early modern age

0 references

Leibniz on the Continuity of Space

0 references

Euclid's common notions and the theory of equivalence

0 references

0 references

0 references

0 references

0 references

0 references

Axioms for Absolute Geometry. III

0 references

0 references

Euclid vindicated from every blemish. Edited and annotated by Vincenzo De Risi. Translated from the Italian by G. B. Halsted and L. Allegri

0 references

0 references

0 references

Tarski's System of Geometry

0 references

Identifiers

10.1080/00029890.2022.2069985

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5094535

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5094535&oldid=36837209"