Email Gateway (Aug 22 2022 at 12:13): Email Gateway (Aug 22 2022 at 12:13):From: Tobias Nipkow <nipkow@in.tum.de>
Knot Theory
T.V.H. Prathamesh
This work contains a formalization of some topics in knot theory. The concepts
that were formalized include definitions of tangles, links, framed links and
link/tangle equivalence. The formalization is based on a formulation of links in
terms of tangles. We further construct and prove the invariance of the Bracket
polynomial. Bracket polynomial is an invariant of framed links closely linked to
the Jones polynomial. This is perhaps the first attempt to formalize any aspect
of knot theory in an interactive proof assistant.
http://afp.sourceforge.net/entries/Knot_Theory.shtml
Enjoy!
smime.p7s
Last updated: Nov 21 2024 at 12:39 UTC