Pages that link to "Item:Q2900562"
From MaRDI portal
The following pages link to Towards a Certified Computation of Homology Groups for Digital Images (Q2900562):
Displaying 4 items.
- Calculating colored homflypt invariants with image processing and a new form of Gauss code (Q2358128) (← links)
- Formalization and Execution of Linear Algebra: From Theorems to Algorithms (Q3453644) (← links)
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm (Q5371950) (← links)
- Reusing Integer Homology Information of Binary Digital Images (Q5386021) (← links)