scientific article; zbMATH DE number 3362561
From MaRDI portal
Publication:5635941
Cited in
(28)- Proving geometry theorems with rewrite rules
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
- Geometric investigations connected with \(z_{xy}=\sin z\)
- Infinite dimensions for ordered incidence geometry
- Frege's new science
- Automated production of traditional proofs in solid geometry
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
- Semantics of Mizar as an Isabelle object logic
- A review and prospect of readable machine proofs for geometry theorems
- Integral-geometric formulas for perimeter in \(S^2\), \(H^2\) and Hilbert planes
- On the relationship between plane and solid geometry
- Affine Geometry: A Lattice Characterization
- Constructive geometrical reasoning and diagrams
- Geometrical structures and modal logic
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
- Frege on indirect proof
- Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach
- On the Hilbert geometry of products
- Axioms for convexity
- The forgotten mathematical legacy of Peano
- A variation of Hilbert's axioms for Euclidean geometry
- Practical reasoning and the witnessably rigorous proof
- 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
- What are implicit definitions?
- Towards an independent version of Tarski's system of geometry
- An essay in honor of Adolf Grünbaum's ninetieth birthday: a reexamination of Zeno's paradox of extension
- Axioms and postulates as speech acts
- Ceva's and Menelaus' theorems characterize the hyperbolic geometry among Hilbert geometries
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)
