• 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 ...
    • Relative Symplectic Caps, Fibered Knots And 4-Genus 

      Kulkarni, Dheeraj (2014-04-07)
      The 4-genus of a knot in S3 is an important measure of complexity, related to the unknotting number. A fundamental result used to study the 4-genus and related invariants of homology classes is the Thom conjecture, proved ...