Pages that link to "Item:Q438686"
From MaRDI portal
The following pages link to Computational homology of \(n\)-types (Q438686):
Displaying 7 items.
- Calculations with simplicial and cubical groups in AXIOM (Q1333171) (← links)
- Computability, Homotopy, and Twisted Cartesian Products (Q3034529) (← links)
- Computing the homology of the lambda algebra (Q3706946) (← links)
- Homotopy invariants of higher dimensional categories and concurrency in computer science (Q4507891) (← links)
- Extending the Notion of AT-Model for Integer Homology Computation (Q5325751) (← links)
- Homotopy 2-Types of Low Order (Q5498924) (← links)
- Isoclinism of crossed modules (Q5899568) (← links)