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 条
  • [11] Quantifier Elimination for Real Algebra — the Quadratic Case and Beyond
    V. Weispfenning
    Applicable Algebra in Engineering, Communication and Computing, 1997, 8 : 85 - 101
  • [12] Verifying mixed real-integer quantifier elimination
    Chaieb, Amine
    AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 528 - 540
  • [13] Effective quantifier elimination over real closed fields
    Vorobjov, N
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 545 - 545
  • [14] Real Quantifier Elimination by Computation of Comprehensive Grobner Systems
    Fukasaku, Ryoya
    Iwane, Hidenao
    Sato, Yosuke
    PROCEEDINGS OF THE 2015 ACM ON INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'15), 2015, : 173 - 180
  • [15] Quantifier elimination for quasi-real closed fields
    Matusinski, Mickael
    Mueller, Simon
    COMPTES RENDUS MATHEMATIQUE, 2021, 359 (03) : 291 - 295
  • [16] Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
    Iwane, Hidenao
    Anai, Hirokazu
    PROCEEDINGS OF THE 2017 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'17), 2017, : 213 - 220
  • [17] An improved algorithm for quantifier elimination over real closed fields
    Basu, S
    38TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 1997, : 56 - 65
  • [18] Adapting Real Quantifier Elimination Methods for Conflict Set Computation
    Jaroschek, Maximilian
    Dobal, Pablo Federico
    Fontaine, Pascal
    FRONTIERS OF COMBINING SYSTEMS, FROCOS 2015, 2015, 9322 : 151 - 166
  • [19] A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL
    Kosaian, Katherine
    Tan, Yong Kiam
    Platzer, Andre
    PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2023, 2023, : 211 - 224
  • [20] Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
    England, Matthew
    COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2024, 2024, 14938 : 1 - 10
12345