scientific article

zbMath0093.33301MaRDI QIDQ3270252

Wanda Szmielew

Publication date: 1960

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

foundations of geometry, noneuclidean geometry

Related Items (38)

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 ⋮ A new look at an old inequality ⋮ On a realization theorem in plane hyperbolic geometry and a related identity in neutral geometry ⋮ The implications among the three classical trigonometric laws of hyperbolic geometry ⋮ On \(\phi\)-\((n, J)\)-ideals and \(n\)-\(J\)-ideals of commutative rings ⋮ The ubiquitous axiom ⋮ Reflecting on parabolas ⋮ Euclid's fourth postulate: its authenticity and significance for the foundations of Greek mathematics ⋮ 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: