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 条
  • [21] Simultaneous quantifier elimination
    Autexier, S
    Mantel, H
    Stephan, W
    KI-98: ADVANCES IN ARTIFICIAL INTELLIGENCE, 1998, 1504 : 141 - 152
  • [22] Linear Quantifier Elimination
    Tobias Nipkow
    Journal of Automated Reasoning, 2010, 45 : 189 - 212
  • [23] Linear quantifier elimination
    Nipkow, Tobias
    AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 18 - 33
  • [24] Variant quantifier elimination
    Hong, Hoon
    El Din, Mohab Safey
    JOURNAL OF SYMBOLIC COMPUTATION, 2012, 47 (07) : 883 - 901
  • [25] QUANTIFIER ELIMINATION IN SHEAVES
    BOFFA, M
    CHERLIN, G
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1980, 290 (08): : 355 - 357
  • [26] Quantifier elimination for quartics
    Yang, Lu
    Xia, Bican
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2006, 4120 : 131 - 145
  • [27] QUANTIFIER ELIMINATION AND NEARFIELDS
    SCHULZ, K
    ABHANDLUNGEN AUS DEM MATHEMATISCHEN SEMINAR DER UNIVERSITAT HAMBURG, 1988, 58 : 169 - 174
  • [28] Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
    Akshayl, S.
    Chakrabortyl, Supratik
    Goharshady, Amir Kafshdar
    Govind, R.
    Motwani, Harshit Jitendra
    Varanasi, Sai Teja
    FORMAL METHODS, PT I, FM 2024, 2025, 14933 : 111 - 130
  • [29] An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning
    Hester, John
    Hitaj, Briland
    Passmore, Grant
    Owre, Sam
    Shankar, Natarajan
    Yeh, Eric
    INTELLIGENT COMPUTER MATHEMATICS, CICM 2023, 2023, 14101 : 297 - 302
  • [30] Linear Quantifier Elimination
    Nipkow, Tobias
    JOURNAL OF AUTOMATED REASONING, 2010, 45 (02) : 189 - 212
12345