Weispfenning V., The Complexity of Linear Problems in Fields, Journal of Symbolic Computation, 5 (1-2), pp. 3-27 (1988). Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Universally Quantified Constraint Solving - An.. - Benhamou, Goualard, al. (2000) (Correct)
A decision algorithm for prenex normal form.. - Shibata, OKANO.. (Correct)
Real Quadratic Quantifier Elimination in Risa/Asir - Sturm (1996) (Correct)
Solver Collaboration for Constraint Logic Programming - Monfroy (1996) (13 citations) (Correct)
Using Computer Algebra to Test Stability - Richard Liska, Stanly Steinberg (1995) (2 citations) (Correct)
Applications Of Quantifier Elimination Theory To Control.. - Chaouki Abdallah Peter (1996) (6 citations) (Correct)
Testing Positiveness of Polynomials - Hong, Jakus (1996) (2 citations) (Correct)
Reasoning over Networks by Symbolic Methods - Sturm (1997) (1 citation) (Correct)
Applications of Quantifier Elimination Theory to.. - Abdallah, Dorato.. (1995) (6 citations) (Correct)
Approaches to Parallel Quantifier Elimination - Dolzmann, Gloor, Sturm (1998) (1 citation) (Correct)
Reasoners' Cooperation and Quantifier Elimination - Ghilardi (2003) (Correct)
Generic Hermitian Quantifier Elimination - Dolzmann, Gilch (2004) (Correct)
Model-Theoretic Methods in Combined Constraint Satisfiability - Ghilardi (2004) (1 citation) (Correct)
Boolean Quantification - In First-Order Context (Correct)
Quantifier Elimination-Based Constraint Logic Programming - Thomas Sturm Fmi (Correct)
Solving Existentially Quantified Constraints with One Equality.. - Ratschan (Correct)
A Generic Projection Operator for - Partial Cylindrical Algebraic (Correct)
Continuous First-Order Constraint Satisfaction - Stefan Ratschan Institut (2002) (2 citations) (Correct)
Generalized Constraint Solving over Differential Algebras - Dolzmann, Sturm (2004) (Correct)
Redlog User Manual - Reduce Logic Package Self-citation (Weispfenning) (Correct)
Complexity and Uniformity of Elimination in Presburger Arithmetic - Weispfenning (1997) (1 citation) Self-citation (Weispfenning) (Correct)
Quantifier Elimination for Real Algebra - the Quadratic.. - Volker Weispfenning (1993) (10 citations) Self-citation (Weispfenning) (Correct)
Real Quantifier Elimination in Practice - Dolzmann, Sturm, Weispfenning (1998) (3 citations) Self-citation (Weispfenning) (Correct)
Simulation and Optimization by Quantifier Elimination - Weispfenning (1996) (8 citations) Self-citation (Weispfenning) (Correct)
Parametric Linear and Quadratic Optimization by Elimination - Weispfenning (1996) (10 citations) Self-citation (Weispfenning) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC