Preliminaries

Tangles

Tangle_Algebra

Tangle_Relation

Tangle_Moves

Link_Algebra

Example

Kauffman_Matrix

Computations

Linkrel_Kauffman

Kauffman_Invariance

Knot_Theory