The following pages link to (Q4531856):
Displaying 9 items.
- On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- Geometric nontermination arguments (Q2324233) (← links)
- A computer-aided proof of a conjecture in Euclidean geometry (Q2389464) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry (Q3295837) (← links)
- (Q3491012) (← links)
- (Q4440824) (← links)
- A Geometric Procedure with Prover9 (Q4913864) (← links)