Pages that link to "Item:Q2946715"
From MaRDI portal
The following pages link to Computing persistent homology within Coq/SSReflect (Q2946715):
Displayed 4 items.
- Using abstract stobjs in ACL2 to compute matrix normal forms (Q1687754) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- A Certified Reduction Strategy for Homological Image Processing (Q2946732) (← links)
- Formalization and Execution of Linear Algebra: From Theorems to Algorithms (Q3453644) (← links)