The following pages link to (Q4392291):
Displaying 5 items.
- Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem (Q1915139) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry (Q5041061) (← links)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
- A Symbolic Companion for Interactive Geometric Systems (Q5200127) (← links)