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