Browsing Division of Physical and Mathematical Sciences by Subject "Theorem Proving"
Now showing items 1-1 of 1
-
Mechanising knot Theory
(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 ...