Abstract
Let ℚ(α, s) be the field of rational functions in α, s. We compute the Kauffman polynomials of pretzel knots [1,6] using the Kauffman skein theory and linear algebra tools. We give a formula for the Kauffman polynomial of a pretzel knot such that after inputting the sequence notation of the pretzel knot, the output is its Kauffman polynomial. Our calculation can be implemented in Mathematica, Maple, Mathcad, etc.