sentences:  Kauffman polynomial
  
  In knot theory, the Kauffman polynomial is a 2-variable knot polynomial due to Louis Kauffman.It is initially defined on a link diagram as
  
  where formula_2 is the writhe of the link diagram and formula_3 is a polynomial in "a" and "z" defined on link diagrams by the following properties