scientific article; zbMATH DE number 3362561
From MaRDI portal
Publication:5635941
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)
