Beyond Betti Numbers: Computable Homology Representatives with Machine-Checked Proofs
Fields of Study & Subjects
Polynomial and algebraic computation
Commutative Algebra and Its Applications
Homotopy and Cohomology in Algebraic Topology
Publication details
- Publication date
- 1 January 2026
- Language
- EN