Huang, Zhenyu Parametric equation solving and quantifier elimination in finite fields with the characteristic set method. (English) Zbl 1292.93047 J. Syst. Sci. Complex. 25, No. 4, 778-791 (2012). MSC: 93B25 PDF BibTeX XML Cite \textit{Z. Huang}, J. Syst. Sci. Complex. 25, No. 4, 778--791 (2012; Zbl 1292.93047) Full Text: DOI
Schmidt, Renate A. The Ackermann approach for modal logic, correspondence theory and second-order reduction. (English) Zbl 1248.03039 J. Appl. Log. 10, No. 1, 52-74 (2012). MSC: 03B45 03B35 03C10 PDF BibTeX XML Cite \textit{R. A. Schmidt}, J. Appl. Log. 10, No. 1, 52--74 (2012; Zbl 1248.03039) Full Text: DOI
Liska, Richard; Váchal, Pavel Quantifier elimination supported proofs in the numerical treatment of fluid flows. (English) Zbl 1149.76646 Appl. Algebra Eng. Commun. Comput. 18, No. 6, 575-582 (2007). MSC: 76M20 35K15 65M06 65M12 68W30 PDF BibTeX XML Cite \textit{R. Liska} and \textit{P. Váchal}, Appl. Algebra Eng. Commun. Comput. 18, No. 6, 575--582 (2007; Zbl 1149.76646) Full Text: DOI
Ioakimidis, N. I. Finite differences/elements in classical beam problems: Derivation of feasibility conditions under parametric inequality constraints with the help of Reduce and REDLOG. (English) Zbl 1031.74048 Comput. Mech. 27, No. 2, 145-153 (2001). MSC: 74S05 74S20 74K10 PDF BibTeX XML Cite \textit{N. I. Ioakimidis}, Comput. Mech. 27, No. 2, 145--153 (2001; Zbl 1031.74048) Full Text: DOI
Weispfenning, V. Quantifier elimination for real algebra – the quadratic case and beyond. (English) Zbl 0867.03003 Appl. Algebra Eng. Commun. Comput. 8, No. 2, 85-101 (1997). MSC: 03B35 03C10 68T15 68W30 68Q25 PDF BibTeX XML Cite \textit{V. Weispfenning}, Appl. Algebra Eng. Commun. Comput. 8, No. 2, 85--101 (1997; Zbl 0867.03003) Full Text: DOI
Liska, Richard; Steinberg, Stanly Solving stability problems using quantifier elimination. (English) Zbl 0854.65074 Jeltsch, R. (ed.) et al., Stability theory. Hurwitz centenary conference, Ascona, Switzerland, May 21-26, 1995. Basel: Birkhäuser. ISNM, Int. Ser. Numer. Math. 121, 205-210 (1996). MSC: 65M12 35K30 65M06 PDF BibTeX XML Cite \textit{R. Liska} and \textit{S. Steinberg}, ISNM, Int. Ser. Numer. Math. 121, 205--210 (1996; Zbl 0854.65074)
Weispfenning, Volker Quantifier elimination for real algebra – the cubic case. (English) Zbl 0919.03030 Von zur Gathen, Joachim (ed.) et al., ISSAC ’94. Proceedings of the international symposium on symbolic and algebraic computation, Oxford, GB, July 20-22, 1994. Baltimore, MD: ACM Press. 258-263 (1994). MSC: 03C10 68W30 68Q25 PDF BibTeX XML Cite \textit{V. Weispfenning}, in: ISSAC '94. Proceedings of the international symposium on Symbolic and algebraic computation, Oxford, GB, July 20--22, 1994. Baltimore, MD: ACM Press. 258--263 (1994; Zbl 0919.03030)
Cialdea, Marta Herbrand style proof procedures for modal logic. (English) Zbl 0796.03026 J. Appl. Non-Class. Log. 3, No. 2, 205-223 (1993). MSC: 03B45 03F05 03B35 03C10 PDF BibTeX XML Cite \textit{M. Cialdea}, J. Appl. Non-Class. Log. 3, No. 2, 205--223 (1993; Zbl 0796.03026) Full Text: DOI
Imbert, Jean-Louis Variable elimination for disequations in generalized linear constraint systems. (English) Zbl 0797.68142 Comput. J. 36, No. 5, 473-484 (1993). MSC: 68T15 03C10 PDF BibTeX XML Cite \textit{J.-L. Imbert}, Comput. J. 36, No. 5, 473--484 (1993; Zbl 0797.68142) Full Text: DOI
Renegar, James On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination. (English) Zbl 0798.68073 J. Symb. Comput. 13, No. 3, 329-352 (1992). MSC: 68Q25 14P10 03C10 03B25 PDF BibTeX XML Cite \textit{J. Renegar}, J. Symb. Comput. 13, No. 3, 329--352 (1992; Zbl 0798.68073) Full Text: DOI
Collins, G. E. Quantifier elimination for real closed fields: A guide to the literature. (English) Zbl 0495.03016 Computer algebra, symbolic and algebraic computation, Comput. Suppl. 4, 79-81 (1982). MSC: 03C10 68W30 03B25 03-02 03G15 03C60 PDF BibTeX XML
Gurevich, Yuri Modest theory of short chains. I. (English) Zbl 0464.03013 J. Symb. Log. 44, 481-490 (1979). MSC: 03B25 03C85 03D35 03C10 03E50 PDF BibTeX XML Cite \textit{Y. Gurevich}, J. Symb. Log. 44, 481--490 (1979; Zbl 0464.03013) Full Text: DOI