 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 multiv
Add to Reading ListSource URL: smt-workshop.cs.uiowa.eduDownload Document from Source Website File Size: 464,33 KBShare Document on Facebook
|
![This article was downloaded by: [Texas A&M University Libraries] On: 06 January 2014, At: 11:20 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: Registered office: Mortim](https://www.pdfsearch.io/img/cf0f6fed9a260081433be246905ff7f2.jpg "This article was downloaded by: [Texas A&M University Libraries] On: 06 January 2014, At: 11:20 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: Registered office: Mortim")
