Polynomial equation elimination via Tarski Algebra

Bruce E. Litow. Polynomial equation elimination via Tarski Algebra. Electronic Colloquium on Computational Complexity (ECCC), 10(036), 2003. [doi]

Abstract

Abstract is missing.