Date: 2017-09-02 14:08:49Algebra Mathematics Polynomials Abstract algebra Polynomial Irreducible polynomial Factorization of polynomials Resultant Algebraic geometry Factorization Polynomial greatest common divisor Permutation polynomial | | LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multivAdd to Reading ListSource URL: smt-workshop.cs.uiowa.eduDownload Document from Source Website File Size: 464,33 KBShare Document on Facebook
|