The following pages link to (Q3135181):
Displaying 6 items.
- Computational homology of \(n\)-types (Q438686) (← links)
- Calculations with simplicial and cubical groups in AXIOM (Q1333171) (← links)
- Integrating functional programming and symbolic computation. (Q1565830) (← links)
- Topological persistence for circle-valued maps (Q2391833) (← links)
- Locally effective objects and artificial intelligence (Q2764961) (← links)
- Functional coding and effective homology (Q3975345) (← links)