Formalising Knot Theory in Isabelle/HOL

DOI10.1007/978-3-319-22102-1_29zbMath1465.68305OpenAlexW2399483259MaRDI QIDQ2945656

T. V. H. Prathamesh

Publication date: 14 September 2015

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22102-1_29

zbMATH Keywords

knot theoryformalization of mathematicsKauffman bracketbracket polynomial

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20) Knot polynomials (57K14) Knot theory (57K10)

Uses Software

• Isabelle
• Isabelle/HOL
• HOL

Cites Work

• On Knots. (AM-115)
• Links, quantum groups and TQFTs