The following pages link to (Q4217954):
Displaying 4 items.
- Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem (Q1915139) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- A symbolic transformation language and its application to a multiscale method (Q2447638) (← links)
- (Q4556039) (← links)