/books/nonstd/polynomials/
../
polynomial-calculus.lisp
polynomial-defuns.lisp
polynomial-lemmas.lisp