scientific article; zbMATH DE number 3362561
From MaRDI portal
Publication:5635941
zbMath0228.50002MaRDI QIDQ5635941
No author found.
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collected or selected works; reprintings or translations of classics (01A75) Models of other mathematical theories (03C65) Research exposition (monographs, survey articles) pertaining to geometry (51-02)
Related Items (24)
ON THE RELATIONSHIP BETWEEN PLANE AND SOLID GEOMETRY ⋮ Axioms for convexity ⋮ Automated production of traditional proofs in solid geometry ⋮ Proving geometry theorems with rewrite rules ⋮ On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving ⋮ Constructive geometrical reasoning and diagrams ⋮ Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems ⋮ Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method ⋮ Geometric investigations connected with \(z_{xy}=\sin z\) ⋮ Ceva's and Menelaus' theorems characterize the hyperbolic geometry among Hilbert geometries ⋮ A variation of Hilbert's axioms for Euclidean geometry ⋮ Practical reasoning and the witnessably rigorous proof ⋮ Affine Geometry: A Lattice Characterization ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ The forgotten mathematical legacy of Peano ⋮ Geometrical structures and modal logic ⋮ Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach ⋮ Frege on Indirect Proof ⋮ Integral-geometric formulas for perimeter in \(S^2\), \(H^2\) and Hilbert planes ⋮ Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic ⋮ Infinite dimensions for ordered incidence geometry ⋮ Semantics of Mizar as an Isabelle object logic ⋮ On the Hilbert geometry of products ⋮ Frege's new science
This page was built for publication:
