Browsing Mathematics (MA) by Author "Prathamesh, Turga Venkata Hanumantha"
Now showing items 1-1 of 1
-
Mechanising knot Theory
Prathamesh, Turga Venkata Hanumantha (2018-01-31)Mechanisation of Mathematics refers to use of computers to generate or check proofs in Mathematics. It involves translation of relevant mathematical theories from one system of logic to another, to render these theories ...