2 explaining what case

In http://link.springer.com/chapter/10.1007%2F3-540-68339-9_14#page-7 is presented a method for finding small solutions to multivariate polynomials. (Although here he mentions that it "is not rigorous", several other papers have cited it and make use of it in practice.) Is there a function or convenient snippet for accomplishing this in Mathematica? Or if not, perhaps at least a reference for how to write this slightly more algorithmically?

Edit: In particular, I need this for the case of solving quadratics in two variables over large composite fields of unknown factorization, efficiently.

In http://link.springer.com/chapter/10.1007%2F3-540-68339-9_14#page-7 is presented a method for finding small solutions to multivariate polynomials. (Although here he mentions that it "is not rigorous", several other papers have cited it and make use of it in practice.) Is there a function or convenient snippet for accomplishing this in Mathematica? Or if not, perhaps at least a reference for how to write this slightly more algorithmically?

In http://link.springer.com/chapter/10.1007%2F3-540-68339-9_14#page-7 is presented a method for finding small solutions to multivariate polynomials. (Although here he mentions that it "is not rigorous", several other papers have cited it and make use of it in practice.) Is there a function or convenient snippet for accomplishing this in Mathematica? Or if not, perhaps at least a reference for how to write this slightly more algorithmically?

Edit: In particular, I need this for the case of solving quadratics in two variables over large composite fields of unknown factorization, efficiently.

1

# Coppersmith method of small integer solutions to multivariate polynomials

In http://link.springer.com/chapter/10.1007%2F3-540-68339-9_14#page-7 is presented a method for finding small solutions to multivariate polynomials. (Although here he mentions that it "is not rigorous", several other papers have cited it and make use of it in practice.) Is there a function or convenient snippet for accomplishing this in Mathematica? Or if not, perhaps at least a reference for how to write this slightly more algorithmically?