Publication:4254919
From MaRDI portal
zbMath0926.51002MaRDI QIDQ4254919
Ulrich Kortenkamp, Jürgen Richter-Gebert
Publication date: 5 July 1999
51-04: Software, source code, etc. for problems pertaining to geometry
Related Items
Automatic Verification of Regular Constructions in Dynamic Geometry Systems, Recognition of Computationally Constructed Loci, A FORMAL SYSTEM FOR EUCLID’SELEMENTS, Hamiltonicity and colorings of arrangement graphs, A software tool for the investigation of plane loci, Automatic determination of envelopes and other derived curves within a graphic environment, Diagrams, tensors and geometric reasoning, A graphical user interface for formal proofs in geometry, GeoThms — a Web System for Euclidean Constructive Geometry, Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
Uses Software