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)
Approximate and discrete Euclidean vector bundles
Scoccola, L
Perea, J
Forum of Mathematics Sigma
volume 11
e20
(21 Mar 2023)
DREiMac: Dimensionality Reduction with Eilenberg-MacLane Coordinates
Perea, J
Scoccola, L
Tralie, C
The Journal of Open Source Software
volume 8
issue 91
5791
(Nov 2023)