The GAP program BISTELLAR is a heuristics to: 1. recognize combinatorial d-spheres; and thus can be used to test whether a pure simplicial complex is a combinatorial manifold; 2. obtain small or even minimal triangulations of simplicial manifolds by reducing the number of vertices of a given triangulation; 3. determine the homeomorphism type of a simplicial manifold
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Brinkmann, Philip; Ziegler, Günter M.: Small (f)-vectors of 3-spheres and of 4-polytopes (2018)
- Benedetti, Bruno; Lutz, Frank H.: Random discrete Morse theory and a new library of triangulations (2014)
- Bagchi, Bhaskar; Datta, Basudeb: A triangulation of (\mathbbCP ^3) as symmetric cube of (S ^2) (2012)
- Björner, Anders; Lutz, Frank H.: Simplicial manifolds, bistellar flips and a 16-vertex triangulation of the Poincaré homology 3-sphere. (2000)