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, A Class of M\"obius Iterated Function Systems, Automatic Deduction in an AI Geometry Book, Hamiltonicity and colorings of arrangement graphs, Towards an intelligent and dynamic geometry book, A software tool for the investigation of plane loci, Automatic determination of envelopes and other derived curves within a graphic environment, Automated deduction and knowledge management in geometry, A symbolic dynamic geometry system using the analytical geometry method, New dynamics in dynamic geometry: dragging constructed points, Taxonomies of geometric problems, 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