Executable Multivariate Polynomials

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

No reviews for this publication, yet.