All reports by Author Bruce Edward Litow:

__
TR03-036
| 27th April 2003
__

Bruce Edward Litow#### Polynomial equation elimination via Tarski Algebra

__
TR98-009
| 25th November 1997
__

Bruce Edward Litow#### Parallel complexity of integer coprimality

Comments: 3

__
TR97-055
| 22nd September 1997
__

Bruce Edward Litow#### A Decision Method for the Rational Sequence Problem

Bruce Edward Litow

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 >>>

Bruce Edward Litow

It is shown that integer coprimality is in NC.

more >>>Bruce Edward Litow

We give a method to decide whether or not an

ordinary finite order linear recurrence with constant, rational

coefficients ever generates zero.