Combinatorial 3-spheres and 4-polytopes with up to 9 vertices
Complete enumerations of the combinatorial 3-spheres (316,014 with 9 vertices) and 4-polytopes (274,148 with 9 vertices), where every 9-vertex sphere comes with either rational polytope coordinates or a non-realizability certificate. The site also provides rational inscriptions in the unit sphere of simplicial 3-spheres with up to 10 vertices, realizations of neighborly polytopes following Miyata’s enumeration, and inscriptions of small-valence simplicial 3-spheres.