Real quantifier elimination is doubly exponential
Journal of Symbolic Computation
Journal of Symbolic Computation
Algebraic decomposition of regular curves
Journal of Symbolic Computation
A polynomial-time algorithm for the topological type of a real algebraic curve
Journal of Symbolic Computation
A bibliography of quantifier elimination for real closed fields
Journal of Symbolic Computation
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Some algebraic and geometric computations in PSPACE
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
A parallel implementation of the cylindrical algebraic decomposition algorithm
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Complexity of computation on real algebraic numbers
Journal of Symbolic Computation
Arithmetic with real algebraic numbers is in NC
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
The complexity of deciding consistency of systems of polynomials in exponent inequalities
Journal of Symbolic Computation
ACM SIGACT News
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Quantifier elimination for formulas constrained by quadratic equations
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Motion planning in the presence of moving obstacles
Journal of the ACM (JACM)
Database querying and constraint programming
ACM SIGACT News
Computational geometry: a retrospective
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM (JACM)
Towards practical constraint databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Uniform quantifier elimination and constraint query processing
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Languages for relational databases over interpreted structures
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
NC2 computation of gcd-free basis and application to parallel algebraic numbers computation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Complexity of the Wu-Ritt decomposition
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Reachability and connectivity queries in constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Relational queries over interpreted structures
Journal of the ACM (JACM)
A generalized Graeffe's iteration for evaluating polynomials and rational functions
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
On moving object queries: (extended abstract)
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Heuristic search and pruning in polynomial constraints satisfaction
Annals of Mathematics and Artificial Intelligence
Algebraic Geometry and Computer Vision: Polynomial Systems, Real andComplex Roots
Journal of Mathematical Imaging and Vision
Moving Objects: Logical Relationships and Queries
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
On the Structure of Queries in Constraint Query Languages
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Reachability and connectivity queries in constraint databases
Journal of Computer and System Sciences - Special issue on PODS 2000
Recent advances in intelligent paradigms and applications
Computer algebra handbook
Computing the first Betti number and the connected components of semi-algebraic sets
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
On the complexity of p-adic basic semi-algebraic sets
Journal of Complexity
Reasoning about probabilistic sequential programs
Theoretical Computer Science
Reachability-based analysis for Probabilistic Roadmap planners
Robotics and Autonomous Systems
A new algebraic method for robot motion planning and real geometry
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
New lower bound techniques for robot motion planning problems
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
Theoretical Computer Science
Real Algebraic Numbers: Complexity Analysis and Experimentation
Reliable Implementation of Real Number Algorithms: Theory and Practice
A parametric representation of totally mixed Nash equilibria
Computers & Mathematics with Applications
A logic for reasoning about evidence
Journal of Artificial Intelligence Research
Qualitative kinematics in mechanisms
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
On information invariants in robotics
Artificial Intelligence
Computation of equilibriain noncooperative games
Computers & Mathematics with Applications
Artifact-Centric Workflow Dominance
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Condition number based complexity estimate for solving polynomial systems
Journal of Computational and Applied Mathematics
A computational proof of complexity of some restricted counting problems
Theoretical Computer Science
Linear solving for sign determination
Theoretical Computer Science
The SARAG library: some algorithms in real algebraic geometry
ICMS'06 Proceedings of the Second international conference on Mathematical Software
A logic for quantum circuits and protocols
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
The compass that steered robotics
Logic and Program Semantics
Logic and Program Semantics
Dexter kozen's influence on the theory of labelled markov processes
Logic and Program Semantics
LTL model checking of interval markov chains
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |