scientific article; zbMATH DE number 3362561
From MaRDI portal
Publication:5635941
zbMATH Open0228.50002MaRDI QIDQ5635941FDOQ5635941
Authors: David Hilbert 
Publication date: 1971
Title of this publication is not available (Why is that?)
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)
Cited In (25)
- Frege on indirect proof
- Integral-geometric formulas for perimeter in \(S^2\), \(H^2\) and Hilbert planes
- A review and prospect of readable machine proofs for geometry theorems
- Axioms for convexity
- Practical reasoning and the witnessably rigorous proof
- Proving geometry theorems with rewrite rules
- Geometrical structures and modal logic
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
- A variation of Hilbert's axioms for Euclidean geometry
- 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
- Frege's new science
- On the Hilbert geometry of products
- What are implicit definitions?
- Ceva's and Menelaus' theorems characterize the hyperbolic geometry among Hilbert geometries
- Automated production of traditional proofs in solid geometry
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
- Affine Geometry: A Lattice Characterization
- Semantics of Mizar as an Isabelle object logic
- Infinite dimensions for ordered incidence geometry
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
- On the relationship between plane and solid geometry
- Constructive geometrical reasoning and diagrams
- Geometric investigations connected with \(z_{xy}=\sin z\)
- Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach
- The forgotten mathematical legacy of Peano
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 Q5635941)
