## Software |

- homology-3.0: (pascal/C/C++)-progam by Frank Heckenbach;
- homology: a (proposed) GAP share package by Jean-Guillaume Dumas, Frank Heckenbach, B. David Saunders, and Volkmar Welker;
- application TOPAZ (TOPology Application Zoo) of the polymake system: software package by Ewgenij Gawrilow and Michael Joswig et al.

to compute fundamental groups:

- FundamentalGroup (Version Nov/2003): GAP routine by Frank H. Lutz to compute a "small" presentation of the fundamental group of a finite simplicial complex.

to compute cohomology/intersection form:

- application TOPAZ (TOPology Application Zoo) of the polymake system: software package by Ewgenij Gawrilow and Michael Joswig et al.

to enumerate triangulations of surfaces and 3-manifolds:

- lextri (Version 0.15, 2007) by Thom Sulanke;
- lextet (Version 0.24, 2007) by Thom Sulanke

other GAP programs by Frank H. Lutz:

- BISTELLAR (Version Nov/2003): heuristics to reduce the size of a given triangulated manifold; it can be used to recognize combinatorial d-spheres and therefore to test whether a pure simplicial complex is a combinatorial manifold;
- BISTELLAR_EQUIVALENT (Version Feb/1999);
- MANIFOLD_VT (Version Apr/2002);
- SEIFERT (Version Nov/2003): produces triangulations of all Seifert manifolds.
- DiscreteMorse (Version May/2015): searches for discrete Morse vectors with few critical cells.

- JavaView: by Konrad Polthier et al.

Return to the Main Page |

Last modified: Tue May 12 23:16:09 CEST 2015