LinKnot: Knot Theory by Computer

Basic Graph Theory Shadows of KLs Notation of Knots and Links (KLs) Gauss and Dowker Code KL Diagrams Reidemeister Moves Conway Notation Classification of KLs Chirality of KLs Unlinking Number and Unlinking Gap KLs with Unlinking Number One Non-Invertible KLs Braids Braid Family Representatives Borromean Links Recognition and Generation of KLs Polynomial Invariants Experimenting with KLs Derivation and Classification of KLs Basic Polyhedra, Polyhedral KLs, and Non-Algebraic Tangles Non-Alternating and Almost Alternating KLs Families of Undetectable KLs Detecting Chirality of KLs by Polynomial Invariants History of Knot Theory and Its Applications Mirror Curves KLs and Fullerenes KLs and Mathematical Logic Self-Referential Systems KL Automata.