Turaev's conjecture that all Gauss words are homotopic to the empty word
Turaev's conjecture. All Gauss words are homotopic to the empty word.
MathDB