57 citations found. Retrieving documents...
J. Canny.
Some Algebraic and Geometric Computations in PSPACE
. In 20th ACM Symposium on Theory of Computing, pages 460--467, 1988.
Home/Search
Document Not in Database
Context
Related Articles
Check
This paper is cited by the following papers:
First 50 documents
Next 50
A Logic for Probability in Quantum Systems - van der Meyden, Patra
(Correct)
Computational Real Algebraic Geometry - Mishra (1997)
(8 citations)
(Correct)
The Computational Power of Frictional Mechanical Systems - John Reif Zheng
(Correct)
Movement Planning in the Presence of Flows - John Reif Zheng (2001)
(Correct)
Adaptive Precision Floating-Point Arithmetic and Fast.. - Jonathan Richard.. (1996)
(16 citations)
(Correct)
Complexity and Expressive Power of Logic Programming - Dantsin, Eiter, Gottlob.. (1997)
(42 citations)
(Correct)
Movement Planning in the Presence of Flows - Reif, Sun (2001)
(Correct)
A Symbolic-Numeric Silhouette Algorithm - Hirukawa, Mourrain, Papegay (2000)
(1 citation)
(Correct)
The Computational Power of Frictional Mechanical Systems - Reif, Sun (1998)
(Correct)
Toward Autonomous Robots: Robust, Adaptive and Dynamic Motion - Reif
(Correct)
The Computational Power of Frictional Mechanical Systems - Reif, Sun (1998)
(Correct)
Comparison of Several Decision Algorithms for the Existential.. - Hong (1991)
(6 citations)
(Correct)
Lower Bounds for Linear Satisfiability Problems - Erickson (1999)
(Correct)
Continuous Alternation: - The Complexity Of
(Correct)
Verifying Probabilistic Procedural Programs - Esparza, Etessami (2004)
(1 citation)
(Correct)
Adaptive Precision Floating-Point Arithmetic - And Fast Robust
(Correct)
Building Convex Hulls by Combining - Sat Solving And (2003)
(Correct)
Safe and Tight Linear Estimators - For Global Optimization
(Correct)
The Space Complexity of Elimination Theory: Upper Bounds - Matera, Torres (1997)
(5 citations)
(Correct)
On Frictional Mechanical Systems And Their - Computational Power John
(Correct)
Factoring Rational Polynomials over the Complex Numbers - Bajaj, Canny, Garrity, Warren (1989)
(5 citations)
(Correct)
Interlocked Open Linkages with Few Joints - Demaine, Langerman, O'Rourke.. (2002)
(1 citation)
(Correct)
Protein Similarity from Knot Theory and - Geometric Convolution Michael (2003)
(Correct)
ON FRICTIONAL MICTIONAL SYSTEM AND THEIR COMRm ATIONAL POWER - John Reif Andzhg'
(Correct)
Motion Planning in the Presence of Moving Obstacles - Reif, Sharir (1985)
(68 citations)
(Correct)
First 50 documents
Next 50
Online articles have much greater impact
More about CiteSeer.IST
Add search form to your site
Submit documents
Feedback
CiteSeer.IST - Copyright
Penn State
and
NEC