Pages that link to "Item:Q1581854"

The following pages link to A deductive database approach to automated geometry theorem proving and discovering (Q1581854):

Displaying 2 items.

• The area method. A recapitulation (Q437042) (← links)
• Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)