The following pages link to Proof-checking Euclid (Q2631965):
Displaying 12 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)
- Euclid after Computer Proof-Checking (Q5094535) (← 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)
- Sharing proofs with predicative theories through universe-polymorphic elaboration (Q6635505) (← links)
- Formal ontology and mathematics. A case study on the identity of proofs (Q6652800) (← links)
- Euclid's fourth postulate: its authenticity and significance for the foundations of Greek mathematics (Q6653775) (← links)
- Automated generation of illustrations for synthetic geometry proofs (Q6653962) (← links)
