Session Knot_Theory
View
theory dependencies
View
document
View
outline
Theories
Preliminaries
Tangles
Tangle_Algebra
Tangle_Relation
Tangle_Moves
Link_Algebra
Example
HOL-Computational_Algebra.Factorial_Ring
HOL-Computational_Algebra.Polynomial
HOL-Computational_Algebra.Fraction_Field
Kauffman_Matrix
Computations
Linkrel_Kauffman
Kauffman_Invariance
Knot_Theory