Pages that link to "Item:Q1272600"
From MaRDI portal
The following pages link to Clifford algebraic reduction method for automated theorem proving in differential geometry (Q1272600):
Displaying 7 items.
- Ordering in automated theorem proving of differential geometry (Q1299842) (← links)
- Mechanical theorem proving in differential geometry: Local theory of surfaces (Q1368208) (← links)
- Vectorial equations solving for mechanical geometry theorem proving (Q1582388) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- (Q4429034) (← links)
- Computer Algebra and Geometric Algebra with Applications (Q5709342) (← links)
- ``Russian killer'' No. 2: a challenging geometric theorem with human and machine proofs. (Q5949275) (← links)