Pages that link to "Item:Q5210787"
From MaRDI portal
The following pages link to Mechanically proving geometry theorems using a combination of Wu's method and Collins' method (Q5210787):
Displaying 6 items.
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- (Q3491012) (← links)
- An identity method for proving geometry theorems based on Wu's method (Q5064252) (← links)
- Finding Fuzzy Inverse Matrix Using Wu’s Method (Q5076676) (← links)
- Mechanically proving geometry theorems using a combination of Wu's method and Collins' method (Q5210787) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)