Quantified Constraints Under Perturbation

Accuracy and stability of numerical algorithms

Choice Reviews Online · 1996 · 2.1K citations

Computing, Computer Science, Mathematics +17

Rounding errors in algebraic processes

Journal of the Franklin Institute · 1964 · 1.3K citations

Computing, Computer Science, Mathematics +12

On a generalization of quantifiers

Andrzej Mostowski · Fundamenta Mathematicae · 1957 · 688 citations · Full text

Humanities, Computer Science, Mathematics +13

Partial Cylindrical Algebraic Decomposition for quantifier elimination

George E. Collins, Hoon Hong · Journal of Symbolic Computation · 1991 · 532 citations

Natural Sciences, Computer Science, Mathematics +8

Representing and Reasoning with Probabilistic Knowledge

K. J. Evans · Journal of the Operational Research Society · 1992 · 245 citations

Computing, Computer Science, Knowledge Representation +11