An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification

• Material Type: 規格・テクニカルリポート類
• Title: An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification
• Author/Editor: 岩根, 秀直; 樋口, 博之; 穴井, 宏和
• Publication, Distribution, etc.: 九州大学マス・フォア・インダストリ研究所
• Publication Date: 2013-08-09
• Publication Date (W3CDTF): 2013
• Periodical title: COE Lecture Note
• No. or year of volume/issue: 49
• Volume: 49
• Pages: 33-42
• ISSN (Periodical Title): PISSN : 1881-4042
• Target Audience: 一般
• Note (General): 出版タイプ： VoR
• Access Restrictions: インターネット公開
• Related Material (URI): URI; http://www.imi.kyushu-u.ac.jp/
• Periodical Title (NCID): AA12660964; https://ci.nii.ac.jp/ncid/AA12660964
• Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• Original Data Provider (Database): 九州大学学術情報リポジトリ(QIR); https://www.lib.kyushu-u.ac.jp/papers

• Summary, etc.: This paper presents an efficient quantifier elimination algorithm tailored for a sign definite condition (SDC). The SDC for a polynomial f ∈ R[x] with...