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 Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (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 Journal of Open Source Software volume 8 issue 83 5022-5022 (08 Mar 2023)
Approximate and discrete Euclidean vector bundles
 Scoccola, L Perea, J Forum of Mathematics, Sigma volume 11 (21 Mar 2023)
DREiMac: Dimensionality Reduction with
Eilenberg-MacLane Coordinates
 Perea, J Scoccola, L Tralie, C Journal of Open Source Software volume 8 issue 91 5791-5791 (17 Nov 2023)
ScoEHR: generating synthetic electronic health records using continuous-time diffusion models
 Naseer, A Walker, B Landon, C Ambrosy, A Fudim, M Wysham, N Toro, B Swaminathan, S Lyons, T Proceedings of the 8th Machine Learning for Healthcare Conference volume 219 489-508 (22 Dec 2023)
Moduli Spaces: An Introduction
 Kirwan, F Encyclopedia of Mathematical Physics: Five-Volume Set V3-449-V3-458- (01 Jan 2006)
Compressible Flows: Mathematical Theory
 Chen, G Encyclopedia of Mathematical Physics: Five-Volume Set V1-595-V1-603- (01 Jan 2006)
High energy string scattering in AdS
 Alday, L Hansen, T Nocchi, M Journal of High Energy Physics volume 2024 issue 2 (14 Feb 2024)
Subscribe to