Pages that link to "Item:Q1730304"

The following pages link to Self-evident automated proving based on point geometry from the perspective of Wu's method identity (Q1730304):

Displaying 4 items.

• Foreword to the special issue (Q1730296) (← links)
• Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
• Self-evident automated geometric theorem proving based on complex number identity (Q6149590) (← links)
• Current survey of Clifford geometric algebra applications (Q6496088) (← links)