Pages that link to "Item:Q1730305"
From MaRDI portal
The following pages link to Automated theorem proving practice with null geometric algebra (Q1730305):
Displaying 6 items.
- Foreword to the special issue (Q1730296) (← links)
- Geometric theorem proving by integrated logical and algebraic reasoning (Q1855223) (← links)
- Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem (Q1915139) (← links)
- Formalization of geometric algebra theories in higher-order logic (Q2824411) (← links)
- (Q4665735) (← links)
- Current survey of Clifford geometric algebra applications (Q6496088) (← links)