The following pages link to Automated Deduction in Geometry (Q5902023):
Displaying 18 items.
- MMP/Geometer (Q13339) (← links)
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Wu's characteristic set method for SystemVerilog assertions verification (Q364509) (← links)
- The area method. A recapitulation (Q437042) (← links)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- Automatically building diagrams for olympiad geometry problems (Q2055892) (← links)
- A Singular web service for geometric computations (Q2354915) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- Geometry constructions language (Q2655329) (← links)
- GeoThms -- a web system for Euclidean constructive geometry (Q2867934) (← links)
- A sustainable geometry automated reasoning platform (Q2917018) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
- Automated Deduction in Geometry (Q5902031) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
- Automated generation of illustrations for synthetic geometry proofs (Q6653962) (← links)