Pages that link to "Item:Q5961492"

The following pages link to Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation (Q5961492):

Displaying 3 items.

• The area method. A recapitulation (Q437042) (← links)
• Towards an intelligent and dynamic geometry book (Q1701659) (← links)
• GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)