Executable Multivariate Polynomials

Christian Sternagel, René Thiemann. Executable Multivariate Polynomials. Archive of Formal Proofs, 2010, 2010. [doi]