The following pages link to (Q4848888):
Displaying 5 items.
- Case splitting in an automatic theorem prover for real-valued special functions (Q352970) (← links)
- Mechanical geometry theorem proving based on Gröbner bases (Q676849) (← links)
- A complete discrimination system for polynomials with complex coefficients and its automatic generation (Q1303099) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)