Prathamesh. Hanumanta T V. <br/><br/>
Mechanising knot theory 
by Turaga Venkata Hanumanta Prathamesh 
 - Bangalore :  Indian Institute of Science,  2014. 
 - x, 108 p. :  ill. 
<br/><br/> Includes CD and bibliography. 
<br/><br/>PhD;2014;Mathematics. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Knot theory<br/>Theorem proving<br/>Knot recognition algorithms
<br/><br/><label>Dewey Class. No.: </label>514.22420285  / P14