Solving congruence equations using Bernstein forms
arXiv:1606.09544
Abstract
We present a subdivision method to solve systems of congruence equations. This method is inspired in a subdivision method, based on Bernstein forms, to solve systems of polynomial inequalities in several variables and arbitrary degrees. The proposed method is exponential in the number of variables.