scientific article; zbMATH DE number 1313585
From MaRDI portal
Publication:4254919
zbMath0926.51002MaRDI QIDQ4254919
Ulrich Kortenkamp, Jürgen Richter-Gebert
Publication date: 5 July 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Automatic determination of envelopes and other derived curves within a graphic environment ⋮ Diagrams, tensors and geometric reasoning ⋮ Hamiltonicity and colorings of arrangement graphs ⋮ A Class of M\"obius Iterated Function Systems ⋮ Automatic Deduction in an AI Geometry Book ⋮ Towards an intelligent and dynamic geometry book ⋮ A graphical user interface for formal proofs in geometry ⋮ Automated deduction and knowledge management in geometry ⋮ A symbolic dynamic geometry system using the analytical geometry method ⋮ Automatic Verification of Regular Constructions in Dynamic Geometry Systems ⋮ Recognition of Computationally Constructed Loci ⋮ Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) ⋮ A FORMAL SYSTEM FOR EUCLID’SELEMENTS ⋮ New dynamics in dynamic geometry: dragging constructed points ⋮ Taxonomies of geometric problems ⋮ GeoThms — a Web System for Euclidean Constructive Geometry ⋮ A software tool for the investigation of plane loci
Uses Software
This page was built for publication:
