scientific article; zbMATH DE number 3291816
From MaRDI portal
Publication:5574604
zbMATH Open0183.24902MaRDI QIDQ5574604FDOQ5574604
Publication date: 1968
Full work available at URL: http://www.numdam.org/item?id=CM_1968__20__143_0
Title of this publication is not available (Why is that?)
Cites Work
Cited In (9)
- Constructive geometry and the parallel postulate
- A common axiom set for classical and intuitionistic plane geometry
- Axiomatizing geometric constructions
- Some open problems in the philosophy of space and time
- Quantifier elimination for elementary geometry and elementary affine geometry
- Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI
- On the constructive geometry of Euclidean planes
- Constructibility and Geometry
- Constructive geometrical reasoning and diagrams
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5574604)