Formalising Knot Theory in Isabelle/HOL

DOI10.1007/978-3-319-22102-1_29zbMATH Open1465.68305OpenAlexW2399483259MaRDI QIDQ2945656FDOQ2945656

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

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

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)

Cites Work

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

Cited In (2)

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

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)