K
not_
T
heory
Preliminaries
Tangles
Tangle_Algebra
Tangle_Relation
Tangle_Moves
Link_Algebra
Example
Kauffman_Matrix
Computations
Linkrel_Kauffman
Kauffman_Invariance
Knot_Theory