Real quantifier elimination in practice

被引：0
|
作者：
Dolzmann, A [1 ]
Sturm, T [1 ]
Weispfenning, V [1 ]
机构：
[1] Univ Passau, D-94030 Passau, Germany
来源：
ALGORITHMIC ALGEBRA AND NUMBER THEORY | 1998年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We give a survey of three implemented rear quantifier elimination methods: partial cylindrical algebraic decomposition, virtual substitution of test terms, and a combination of Grobner basis computations with multivariate real root counting. We examine the scope of these implementations for applications in various fields of science, engineering, and economics.
引用
收藏
页码：221 / 247
页数：27
相关论文
共 50 条
  • [31] On maps which preserve semipositivity and quantifier elimination theory for real numbers
    Pastuszak, Grzegorz
    Skowyrski, Adam
    Jamiolkowski, Andrzej
    COMMUNICATIONS IN CONTEMPORARY MATHEMATICS, 2022, 24 (02)
  • [32] A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications
    Sturm T.
    Mathematics in Computer Science, 2017, 11 (3-4) : 483 - 502
  • [33] Tree-depth, quantifier elimination, and quantifier rank
    Chen, Yijia
    Flum, Joerg
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 225 - 234
  • [34] APPLYING LINEAR QUANTIFIER ELIMINATION
    LOOS, R
    WEISPFENNING, V
    COMPUTER JOURNAL, 1993, 36 (05): : 450 - 462
  • [35] Simulation and Optimization by Quantifier Elimination
    Weispfenning, V.
    Journal of Symbolic Computation, 24 (02):
  • [36] Quantifier elimination for statistical problems
    Geiger, D
    Meek, C
    UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1999, : 226 - 235
  • [37] Quantifier Elimination in ACF and RCF
    Udovicic, Mirna
    Kovacevic, Dragana
    ADVANCED TECHNOLOGIES, SYSTEMS, AND APPLICATIONS III, VOL 2, 2019, 60 : 419 - 429
  • [38] Quantifier Elimination in C*-Algebras
    Eagle, Christopher James
    Farah, Ilijas
    Kirchberg, Eberhard
    Vignati, Alessandro
    INTERNATIONAL MATHEMATICS RESEARCH NOTICES, 2017, 2017 (24) : 7580 - 7606
  • [39] QUANTIFIER ELIMINATION IN DISCRIMINATOR VARIETIES
    POINT, F
    ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (01) : 83 - 101
  • [40] Quantifier elimination by dependency sequents
    Eugene Goldberg
    Panagiotis Manolios
    Formal Methods in System Design, 2014, 45 : 111 - 143
12345