1 paper · 1 filter
Garett Cunningham, Daniel Zach, Stefan Friedl
The theory of simplicial complexes is a cornerstone of topology, offering a sophisticated tool for computing invariants. We present a formalization of abstract simplicial complexes…