Browsing Waterloo Research by Subject "bivariate system"
Now showing items 1-1 of 1
-
A softly optimal Monte Carlo algorithm for solving bivariate polynomial systems over the integers
(Elsevier, 2016-06)We give an algorithm for the symbolic solution of polynomial systems in Z[X,Y]. Following previous work with Lebreton, we use a combination of lifting and modular composition techniques, relying in particular on Kedlaya ...