The following pages link to MMP/Geometer (Q13339):
Displaying 13 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Wu's characteristic set method for SystemVerilog assertions verification (Q364509) (← links)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- A C-tree decomposition algorithm for 2D and 3D geometric constraint solving (Q628146) (← 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)
- 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)