The following pages link to Cinderella (Q12896):
Displaying 41 items.
- (Q3391707) (← links)
- Komplexe Zahlen und ebene Geometrie (Q3450622) (← links)
- (Q3539358) (← links)
- Automated Discovery in Elementary Extrema Problems (Q3545112) (← links)
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System (Q3582714) (← links)
- AN APPLICATION OF TILINGS IN THE HYPERBOLIC PLANE (Q3640072) (← links)
- (Q4254919) (← links)
- (Q4418135) (← links)
- (Q4434825) (← links)
- (Q4471939) (← links)
- (Q4488104) (← links)
- (Q4518980) (← links)
- (Q4522682) (← links)
- (Q4531855) (← links)
- (Q4531860) (← links)
- (Q4531861) (← links)
- (Q4531862) (← links)
- (Q4673462) (← links)
- Oriented Matroids (Q4705312) (← links)
- (Q4737737) (← links)
- (Q4781238) (← links)
- (Q4789204) (← links)
- (Q4790451) (← links)
- (Q4821323) (← links)
- Projective Configuration Theorems: Old Wine into New Wineskins (Q5129773) (← links)
- (Q5190124) (← links)
- (Q5279091) (← links)
- Automated Reasoning (Q5307070) (← links)
- Computational Science and Its Applications – ICCSA 2004 (Q5307230) (← links)
- Conics and convexity (Q5351640) (← links)
- (Q5358292) (← links)
- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems (Q5428266) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
- Recognition of Computationally Constructed Loci (Q5453484) (← links)
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)
- Automated Deduction in Geometry (Q5493322) (← links)
- (Q5702484) (← links)
- Mechanizing Mathematical Reasoning (Q5717450) (← links)
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That (Q5747799) (← links)
- A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985) (← links)
- A Class of M\"obius Iterated Function Systems (Q5859077) (← links)
