The elimination problem is classical: implicitly express one of the variables occurring in a finite system of polynomial equations as an algebraic function of a designated subset of the remaining variables. Solutions to this problem by resultants, or more comprehensively by use of Gr\"{o}bner basis methods are available. In this ... more >>>

It is shown that integer coprimality is in NC. more >>>

We give a method to decide whether or not an ordinary finite order linear recurrence with constant, rational coefficients ever generates zero. more >>>