5 citations · 9 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.AT2019★ 5 cited
Nilpotent Types and Fracture Squares in Homotopy Type Theory
Luis Scoccola
We develop the basic theory of nilpotent types and their localizations away from sets of numbers in Homotopy Type Theory. For this, general results about the classifying spaces of…
stat.ML2019
Visualization tools for parameter selection in cluster analysis
Alexander Rolle, Luis Scoccola
We propose an algorithm, HPREF (Hierarchical Partitioning by Repeated Features), that produces a hierarchical partition of a set of clusterings of a fixed dataset, such as sets of…