<--- Back to Details
First PageDocument Content
Algebra / Mathematics / Polynomials / Abstract algebra / Computer algebra / Polynomial / Factorization of polynomials / Constraint programming / Resultant / Constraint logic programming / Polynomial ring
Date: 2014-06-27 12:47:14
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

Source URL: csl.sri.com

Download Document from Source Website

File Size: 867,59 KB

Share Document on Facebook

Similar Documents

On the Ring-LWE and Polynomial-LWE Problems Miruna Rosca1,2 , Damien Stehlé1 , and Alexandre Wallet1 1  ENS de Lyon, Laboratoire LIP (U. Lyon, CNRS, ENSL, INRIA, UCBL), France

On the Ring-LWE and Polynomial-LWE Problems Miruna Rosca1,2 , Damien Stehlé1 , and Alexandre Wallet1 1 ENS de Lyon, Laboratoire LIP (U. Lyon, CNRS, ENSL, INRIA, UCBL), France

DocID: 1xVxG - View Document

Bounded regularity Claus Diem October 7, 2014 Abstract Let k be a field and S the polynomial ring k[x1 , . . . , xn ]. For a nontrivial finitely generated homogeneous S-module M with grading in Z, an integer D and some h

Bounded regularity Claus Diem October 7, 2014 Abstract Let k be a field and S the polynomial ring k[x1 , . . . , xn ]. For a nontrivial finitely generated homogeneous S-module M with grading in Z, an integer D and some h

DocID: 1uabX - View Document

APPENDIX: E-POLYNOMIALS, ZETA-EQUIVALENCE, AND POLYNOMIAL-COUNT VARIETIES NICHOLAS M. KATZ Given a noetherian ring R, we denote by (Sch/R) the category of separated Rschemes of finite type, morphisms being the R-morphism

APPENDIX: E-POLYNOMIALS, ZETA-EQUIVALENCE, AND POLYNOMIAL-COUNT VARIETIES NICHOLAS M. KATZ Given a noetherian ring R, we denote by (Sch/R) the category of separated Rschemes of finite type, morphisms being the R-morphism

DocID: 1sCcV - View Document

1301  Documenta Math. On the Multi-Koszul Property for Connected Algebras

1301 Documenta Math. On the Multi-Koszul Property for Connected Algebras

DocID: 1rsV3 - View Document

971  Documenta Math. p-Jets

971 Documenta Math. p-Jets

DocID: 1rkHc - View Document