Some algebraic and geometric computations in PSPACE (1988)

by J Canny
Venue:In Proceedings of the 20th Annual ACM Symposium on Theory of Computing