Pinned Repositories
approximate-vector-bundles-examples
Implementation and computational examples of [Approximate and discrete Euclidean vector bundles. Scoccola, Perea].
cat-list.github.io
Computational and Applied Topology List
cubicaltypes
A library to reason about 1-coherent and 2-coherent diagrams and their (co)limits in Homotopy Type Theory.
DREiMac
Dimension Reduction with Eilenberg-MacLane Coordinates
fibered
Vector bundle learning algorithm for dimensionality reduction.
integers-as-HITs
Formalization of main results of [The Integers as a Higher Inductive Type. Altenkirch, Scoccola].
ooActions
persistable
density-based clustering for exploratory data analysis based on multi-parameter persistence
spaces-of-clusterings
A simple and fast visualization tool for parameter selection in cluster analysis.
DREiMac
Dimensionality Reduction with Eilenberg-MacLane Coordinates
LuisScoccola's Repositories
LuisScoccola/persistable
density-based clustering for exploratory data analysis based on multi-parameter persistence
LuisScoccola/approximate-vector-bundles-examples
Implementation and computational examples of [Approximate and discrete Euclidean vector bundles. Scoccola, Perea].
LuisScoccola/fibered
Vector bundle learning algorithm for dimensionality reduction.
LuisScoccola/integers-as-HITs
Formalization of main results of [The Integers as a Higher Inductive Type. Altenkirch, Scoccola].
LuisScoccola/cubicaltypes
A library to reason about 1-coherent and 2-coherent diagrams and their (co)limits in Homotopy Type Theory.
LuisScoccola/DREiMac
Dimension Reduction with Eilenberg-MacLane Coordinates
LuisScoccola/ooActions
LuisScoccola/spaces-of-clusterings
A simple and fast visualization tool for parameter selection in cluster analysis.
LuisScoccola/cat-list.github.io
Computational and Applied Topology List
LuisScoccola/limandcolim