Elementary Simplicial Collapses in Cubical Agda

EasyChair Smart Slide

User Guide/Log in

Home

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

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

1of26

1

2

3

4

Copyright © 2002 – 2025 EasyChair