Formalising Knot Theory in Isabelle/HOL

DOI10.1007/978-3-319-22102-1_29MaRDI QIDQ2945656zbMATHOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3854015
• Formalizing simplicial topology in Isabelle/HOL and Coq
• Automated Reasoning
• Formalizing Hilbert's Grundlagen in Isabelle/Isar
• Unifying theories in Isabelle/HOL
• An Isabelle/HOL formalisation of Green's theorem
• An Isabelle/HOL formalisation of Green's theorem
• Formalization of Dubé's degree bounds for Gröbner bases in Isabelle/HOL
• scientific article; zbMATH DE number 2110621

Cites work

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

Cited in

(2)

• Formalization of Bing's shrinking method in geometric topology
• Detecting Unknots via Equational Reasoning, I: Exploration

Describes a project that uses

Uses Software

• Isabelle
• Isabelle/HOL
• HOL

This page was built for publication: Formalising Knot Theory in Isabelle/HOL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945656)