• 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 ...