External Links

    Journal: Comput. J.

    Volume 36, Issue 5

    399 -- 0Hoon Hong. Special Issue Editorial: Computational Quantifier Elimination
    400 -- 408Felipe Cucker. On the Complexity of Quantifier Elimination: the Structural Approach
    409 -- 418John F. Canny. Improved Algorithms for Sign Determination and Existential Quantifier Elimination
    419 -- 426Devdatt P. Dubhashi. Quantifier Elimination in p-adic Fields
    427 -- 431Joos Heintz, Marie-Françoise Roy, Pablo Solernó. On the Theoretical and Practical Complexity of the Existential Theory of Reals
    432 -- 438Scott McCallum. Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
    439 -- 449Hoon Hong. Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
    450 -- 462Rüdiger Loos, Volker Weispfenning. Applying Linear Quantifier Elimination
    463 -- 472Vijay Chandru. Variable Elimination in Linear Constraints
    473 -- 484Jean-Louis Imbert. Variable Elimination for Disequations in Generalized Linear Constraint Systems
    485 -- 496Dinesh Manocha. Efficient Algorithms for MultiPolynomial Resultant
    497 -- 503Richard Liska, Stanly Steinberg. Applying Quantifier Elimination to Stability Analysis of Difference Schemes
    504 -- 514John F. Canny. Computing Roadmaps of General Semi-Algebraic Sets
    515 -- 524M. J. González-López, Tomás Recio. Path Tracking in Motion Planning
    runs on