Pages that link to "Item:Q2666956"
From MaRDI portal
The following pages link to Automated discovery of geometric theorems based on vector equations (Q2666956):
Displaying 4 items.
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- (Q4946077) (← links)
- Self-evident automated geometric theorem proving based on complex number identity (Q6149590) (← links)
- Automated generation of geometry proof problems based on point geometry identity (Q6552506) (← links)