# zbMATH — the first resource for mathematics

Théorie des noeuds et calcul formel. (Knot theory and computer algebra). (French) Zbl 0731.57005
The article describes some knot- resp. link-invariants such as Alexander polynomial, Jones polynomial, Milnor invariant, Seifert matrix. The appendix contains some hints how these invariants can be explicitly computed using the PROLOG programming language.
##### MSC:
 57M25 Knots and links in the $$3$$-sphere (MSC2010) 57-04 Software, source code, etc. for problems pertaining to manifolds and cell complexes