Applying Linear Quantifier Elimination

1993/05/01 by R. Loos, Rüdiger Loos · 5 citations
Computer Science · #Neural Networks and Applications

paper · pdf · doi:10.1093/comjnl/36.5.450

Abstract

The linear quantifier elimination algorithm for ordered fields in [15] is applicable to a wide range of...

Cited by

• Applications of Quantified Constraint Solving over the Reals -- Bibliography
• Divide-And-Conquer Computation of Cylindrical Algebraic Decomposition
• Bernays-Schoenfinkel-Ramsey with Simple Bounds is NEXPTIME-complete
• A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra
• Syntax-Guided Quantifier Instantiation [europepmc]

Related

• Quantifier Elimination for Statistical Problems
• Elementary recursive quantifier elimination based on Thom encoding and\n sign determination
• A Quantifier Elimination Algorithm for Linear Real Arithmetic
• Removal of Quantifiers by Elimination of Boundary Points
• Quantifier Elimination For Tame Fields