The following pages link to (Q4264711):
Displaying 6 items.
- Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method (Q616847) (← links)
- The computer searches for Pascal conics (Q1343393) (← links)
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems (Q1924745) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- Formalization of Wu’s Simple Method in Coq (Q3100204) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)