On the notion of equal figures in Euclid

DOI10.1007/s13366-022-00649-9arXiv2008.12643OpenAlexW3082887384MaRDI QIDQ6174569

Michael J. Beeson

Publication date: 17 August 2023

Published in: Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2008.12643

zbMATH Keywords

areaEuclidean geometryEuclidequal figures

Mathematics Subject Classification ID

Elementary problems in Euclidean geometries (51M04) Geometric constructions in real or complex geometry (51M15) Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05) History of geometry (51-03)

Cites Work

• Unnamed Item
• Proof-checking Euclid
• DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH
• Euclid after Computer Proof-Checking
• Axiomatizing Changing Conceptions of the Geometric Continuum I: Euclid-Hilbert†

This page was built for publication: On the notion of equal figures in Euclid