Pages that link to "Item:Q2824411"
From MaRDI portal
The following pages link to Formalization of geometric algebra theories in higher-order logic (Q2824411):
Displaying 9 items.
- Logical and set calculations in the framework of geometrical informatics paradigm (Q300308) (← links)
- Algebraic geometry in first-order logic (Q1040258) (← links)
- Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
- Formalizing geometric algebra in Lean (Q2128117) (← links)
- Formalization of geometric algebra in HOL Light (Q2323452) (← links)
- Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm (Q2360828) (← links)
- Logic of differential calculus and the Zoo of geometric structures (Q2957381) (← links)
- (Q4944761) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)