Formula Simplification for Real Quantifier Elimination Using Geometric Invariance (Computer Algebra --Theory and its Applications)
-
- IWANE, HIDENAO
- FUJITSU LABORATORIES LTD・NATIONAL INSTITUTE OF INFORMATICS
-
- ANAI, HIROKAZU
- FUJITSU LABORATORIES LTD・KYUSHU UNIVERSITY・NATIONAL INSTITUTE OF INFORMATICS
Bibliographic Information
- Other Title
-
- Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
Search this article
Description
Formulating a simple and adequate quantified first-order formula is crucial for applying real quantifier elimination (QE) efficiently. In general, generating simple formulas or simplifying formulas for efficient QE involves human interaction. In this paper, we present simplification algorithms for quantified first-order formulas over the real numbers to speed up QE. We present experimental results for more than 10, 000 benchmark problems to examine the effectiveness of our simplification algorithms.
Journal
-
- RIMS Kokyuroku
-
RIMS Kokyuroku 2138 21-29, 2019-12
京都大学数理解析研究所
- Tweet
Details 詳細情報について
-
- CRID
- 1050004225379117824
-
- NII Article ID
- 120006888166
-
- NII Book ID
- AN00061013
-
- ISSN
- 18802818
-
- HANDLE
- 2433/254879
-
- NDL BIB ID
- 030233276
-
- Text Lang
- ja
-
- Article Type
- departmental bulletin paper
-
- Data Source
-
- IRDB
- NDL
- CiNii Articles