scientific article; zbMATH DE number 1160042
From MaRDI portal
Publication:4392291
zbMATH Open0933.68123MaRDI QIDQ4392291FDOQ4392291
Authors: Johannes Ueberberg 
Publication date: 8 June 1998
Title of this publication is not available (Why is that?)
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
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Finite partial geometries (general), nets, partial spreads (51E14)
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
Uses Software
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)
