The following pages link to (Q4254919):
Displayed 8 items.
- Hamiltonicity and colorings of arrangement graphs (Q860408) (← 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)
- Diagrams, tensors and geometric reasoning (Q2391201) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← 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)