The following pages link to (Q4254919):
Displaying 16 items.
- Hamiltonicity and colorings of arrangement graphs (Q860408) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- A software tool for the investigation of plane loci (Q1861521) (← links)
- Automatic determination of envelopes and other derived curves within a graphic environment (Q1887816) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Diagrams, tensors and geometric reasoning (Q2391201) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
- Recognition of Computationally Constructed Loci (Q5453484) (← links)
- A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985) (← links)
- A Class of M\"obius Iterated Function Systems (Q5859077) (← links)
