The following pages link to The area method. A recapitulation (Q437042):
Displaying 22 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Generalizing Morley's and other theorems with automated realization (Q1655490) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Formalizing complex plane geometry (Q2354913) (← links)
- A synthetic proof of Pappus' theorem in Tarski's geometry (Q2362204) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)
- Towards Understanding Triangle Construction Problems (Q2907319) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- Current Status of the I2GATP Common Format (Q3452280) (← links)
- Measuring the readability of geometric proofs: the area method case (Q6156633) (← links)
- The area method in the Wolfram language (Q6653960) (← links)
- Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach (Q6653961) (← links)
- Open geometry prover community project (Q6653967) (← links)
