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 3 articles )
Showing results 1 to 3 of 3.
- Benedetti, Bruno; Lutz, Frank H.: Random discrete Morse theory and a new library of triangulations (2014)
- Bagchi, Bhaskar; Datta, Basudeb: A triangulation of $\Bbb CP ^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)