scientific article
From MaRDI portal
Publication:3270252
zbMath0093.33301MaRDI QIDQ3270252
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (max. 100)
Formalization of the arithmetization of Euclidean plane geometry and applications ⋮ The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids ⋮ Klein-Beltrami model. III ⋮ Klein-Beltrami model. IV ⋮ The equivalence of side-angle-side and side-angle-angle in the absolute plane ⋮ The equivalence of side-angle-side with side-side-side and the general triangle inequality in the absolute plane ⋮ Operational Foundation of Einstein's General Theory of Relativity ⋮ On a splitting of the parallel postulate ⋮ Euclid after Computer Proof-Checking ⋮ CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE ⋮ Non-euclidean geometries: the Cayley-Klein approach ⋮ Who proved Pythagoras's theorem? ⋮ ON THE EUCLIDEAN TRIANGLES WITH PRESCRIBED AREA AND PERIMETER ⋮ ON TRIANGLES WITH THE SAME AREA, II ⋮ ON THE CIRCLES SATISFYING THREE CONDITIONS ⋮ Cyclic order: a geometric analysis ⋮ On the simplicity of ordered geometry ⋮ Cantor on Infinitesimals. Historical and Modern Perspective ⋮ Extending embeddings and homeomorphisms of subsets of the Tikhonov cube ⋮ Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq ⋮ A constructive version of Tarski's geometry ⋮ The ignorance of Bourbaki ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ A general formulation of conceptual spaces as a meso level representation ⋮ Formalization of the Poincaré disc model of hyperbolic geometry ⋮ The ubiquitous axiom ⋮ A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs ⋮ Density and dimension ⋮ Homogeneous Cayley objects ⋮ Full Development of Tarski's Geometry of Solids ⋮ Applications of a distance formula in hyperbolic plane geometry ⋮ Group of homography in real projective plane
This page was built for publication:
