ECCC
Electronic Colloquium on Computational Complexity
Login | Register | Classic Style



REPORTS > KEYWORD > COMPUTATIONAL ALGEBRA:
Reports tagged with computational algebra:
TR03-036 | 27th April 2003
Bruce Edward Litow

Polynomial equation elimination via Tarski Algebra

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



ISSN 1433-8092 | Imprint