The following pages link to Automated Deduction in Geometry (Q5493324):
Displaying 5 items.
- LOOK: A lazy object-oriented kernel design for geometric computation (Q1602944) (← links)
- Geometry constructions language (Q2655329) (← links)
- Computational Origami Construction as Constraint Solving and Rewriting (Q5403476) (← links)
- Towards an Electronic Geometry Textbook (Q5453481) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)