The following pages link to Proof-checking Euclid (Q2631965):
Displaying 7 items.
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← links)
- Tarski geometry axioms. IV: Right angle (Q2416858) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Newton's experimental proofs (Q5156842) (← links)
- On the notion of equal figures in Euclid (Q6174569) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
