Towards an implementation of the B-H algorithm for recognizing the unknot

J. S. Birman, P. Boldi, M. Rampichini +1

In their paper `A new algorithm for recognizing the unknot', in Geometry and Topology', 2 (1998) n. 9, 175-220, the first author and Michael Hirsch presented a then new algorithm f…