Pages that link to "Item:Q631755"
From MaRDI portal
The following pages link to Effective homology of bicomplexes, formalized in Coq (Q631755):
Displaying 5 items.
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW (Q2909193) (← links)
- A Certified Reduction Strategy for Homological Image Processing (Q2946732) (← links)
- Incidence Simplicial Matrices Formalized in Coq/SSReflect (Q5200106) (← links)
- Homotopy groups of suspended classifying spaces: An experimental approach (Q5326507) (← links)
