Title: Mechanisation of Knot Theory
Speaker: T. V. H. Prathamesh IISc
Date: 22 July 2014
Time: 11:00am - 12:00pm
Venue: Lecture Hall III, Department of Mathematics
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 implementable in a computer. This process is termed formalisation of mathematics. Two among the many way of mechanising are: (1) generating results using Automated Theorem Provers, (2) Interactive theorem proving in a Proof Assistant which involves a combination of user intervention and automation.