Xref: utzoo sci.math:15936 comp.theory:1673
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!aplcen!boingo.med.jhu.edu!haven!umd5!whatever!orourke
From: orourke@whatever.cs.jhu.edu (Joseph O'Rourke)
Newsgroups: sci.math,comp.theory
Subject: Knot equivalence via Reidemeister moves
Message-ID: <10453@cs.jhu.edu>
Date: 20 Mar 91 14:21:15 GMT
Reply-To: orourke%sophia@cs.umass.edu (Joseph O'Rourke)
Followup-To: sci.math,comp.theory
Organization: Smith College, Northampton, MA, USA
Lines: 4

Has anyone implemented a program that searches for a sequence
of Reidemeister moves to convert one knot into another,
or one knot into the unknot?  Any references would be appreciated.
Thanks!