scientific article; zbMATH DE number 1160042

zbMATH Open0933.68123MaRDI QIDQ4392291

Johannes Ueberberg

Publication date: 8 June 1998

Title of this publication is not available (Why is that?)

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)

Related Items (5)

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

Uses Software

• Title not available (Why is that?)

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)