Cohomology Theories
Tillmann, U
Encyclopedia of Mathematical Physics: Five-Volume Set
V1-545-V1-553
(01 Jan 2006)
Utilising an in silico model to predict outcomes in senescence-driven acute liver injury
Ashmore-Harris, C
Antonopoulou, E
Aird, R
Man, T
Finney, S
Speel, A
Lu, W
Forbes, S
Gadd, V
Waters, S
(2023)
On the Stability of Multigraded Betti Numbers and Hilbert Functions
Oudot, S
Scoccola, L
SIAM Journal on Applied Algebra and Geometry
volume 8
issue 1
54-88
(31 Mar 2024)
Rectification of interleavings and a persistent Whitehead theorem
Lanari, E
Scoccola, L
Algebraic & Geometric Topology
volume 23
issue 2
803-832
(09 May 2023)
https://papers.nips.cc/paper_files/paper/2023/hash/d75c474bc01735929a1fab5d0de3b189-Abstract-Conference.html
David, L
Scoccola, L
Mathieu, C
Magnus, B
Oudot, S
The Hurewicz theorem in homotopy type theory
Christensen, J
Scoccola, L
Algebraic & Geometric Topology
volume 23
issue 5
2107-2140
(25 Jul 2023)
Localization in Homotopy Type Theory
Rijke, E
Christensen, J
Scoccola, L
Opie, M
Higher Structures
volume 4
issue 1
1-32
(11 Feb 2020)
The Integers as a Higher Inductive Type
Altenkirch, T
Scoccola, L
67-73
(08 Jul 2020)
Nilpotent types and fracture squares in homotopy type theory
Scoccola, L
Mathematical Structures in Computer Science
volume 30
issue 5
511-544
(08 May 2020)
Persistable: persistent and stable clustering
Scoccola, L
Rolle, A
The Journal of Open Source Software
volume 8
issue 83
5022
(Mar 2023)