Mechanising knot Theory

Mechanising knot Theory

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

Full description

Bibliographic Details
Main Author: Prathamesh, Turga Venkata Hanumantha
Other Authors: Gadgil, Siddhartha
Language:en_US
Published: 2018
Subjects:
Knot Theory
Theorem Proving
Formal Theorem Proving
Kauffman Bracket
Link Theory
First Order Logic
Tangles
Matrices
Formalising Knot Theory
Symbolic and Mathematical Logic
Knots
Braids
Mathematics
Online Access:http://hdl.handle.net/2005/3052
http://etd.ncsi.iisc.ernet.in/abstracts/3916/G26934-Abs.pdf

Internet

http://hdl.handle.net/2005/3052
http://etd.ncsi.iisc.ernet.in/abstracts/3916/G26934-Abs.pdf

Similar Items