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.
