Pages that link to "Item:Q1730304"
From MaRDI portal
The following pages link to Self-evident automated proving based on point geometry from the perspective of Wu's method identity (Q1730304):
Displaying 9 items.
- Foreword to the special issue (Q1730296) (← links)
- Geometric theorem proving by integrated logical and algebraic reasoning (Q1855223) (← links)
- The dimension method in elementary and differential geometry (Q1924742) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- Realization of automatic reasoning system of geometry based on point-eliminating method (Q3399727) (← links)
- An identity method for proving geometry theorems based on Wu's method (Q5064252) (← links)
- Self-evident automated geometric theorem proving based on complex number identity (Q6149590) (← links)
- Current survey of Clifford geometric algebra applications (Q6496088) (← links)
- Automated generation of geometry proof problems based on point geometry identity (Q6552506) (← links)
