External Links

    Journal: Journal of Symbolic Computation

    Volume 24, Issue 2

    125 -- 136Dexter Kozen, Kjartan Stefánsson. Computing the Newtonian Graph
    137 -- 152Mats Jirstrand. Nonlinear Control System Design by Quantifier Elimination
    153 -- 159Peter Dorato, Wei Yang, Chaouki Abdallah. Robust Multi-Objective Feedback Design by Quantifier Elimination
    161 -- 187Hoon Hong, Richard Liska, Stanly Steinberg. Testing Stability by Quantifier Elimination
    189 -- 208Volker Weispfenning. Simulation and Optimization by Quantifier Elimination
    209 -- 231Andreas Dolzmann, Thomas Sturm. Simplification of Quantifier-Free Formulae over Ordered Fields
    runs on