Back to Results
First PageMeta Content
Algebra / Mathematics / Polynomials / Abstract algebra / Computer algebra / Polynomial / Factorization of polynomials / Constraint programming / Resultant / Constraint logic programming / Polynomial ring


Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York University
Add to Reading List

Document Date: 2014-06-27 12:47:14

Open Document

File Size: 867,59 KB

Share Result on Facebook
UPDATE