scientific article; zbMATH DE number 1160042

MaRDI QIDQ4392291zbMATH OpenFDO

Authors Johannes Ueberberg

Publication date 8 June 1998

zbMATH Keywords

symbolic incidence geometry

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Finite partial geometries (general), nets, partial spreads (51E14)

Recommendations

• scientific article; zbMATH DE number 6984221
• Mechanical theorem proving in projective geometry
• Coordinate-free theorem proving in incidence geometry
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs

Cited in

(6)

• A graphical user interface for formal proofs in geometry
• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
• Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem
• Symbolic incidence geometry and finite linear spaces
• A Symbolic Companion for Interactive Geometric Systems
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry

Describes a project that uses

Uses Software

• REDUCE

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 Q4392291)