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):
Displayed 3 items.
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← 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)