| ||||
| ||||
![]() Title:Elementary Simplicial Collapses in Cubical Agda Authors:Maximilian Doré Conference:HoTT/UF 2022 Tags:Applied topology, Discrete Morse theory and Formal mathematics Abstract: I present some progress towards formalizing discrete Morse theory in Cubical Agda. Elementary Simplicial Collapses in Cubical Agda ![]() Elementary Simplicial Collapses in Cubical Agda | ||||
Copyright © 2002 – 2025 EasyChair |