Algorithmic topology

Algorithmic topology, or computational topology, is a subfield of topology with an overlap with areas of computer science, in particular computational complexity theory.

A primary concern of algorithmic topology, as its name suggests, is to develop efficient algorithms for solving topological problems. For example, an open problem is to find a polynomial time algorithm to see if a knot is unknotted.

Some parts of algorithmic topology can be considered experimental mathematics.

External Links

• CompuTop software archive