On the implementation of CGS real QE

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

研究成果: 著書/レポートタイプへの貢献会議での発言

4 引用 (Scopus)

抄録

A CGS real QE method is a real quantifier elimination (QE) method which is composed of the computation of comprehensive Gröbner systems (CGSs) based on the theory of real root counting. Its fundamental algorithm was first introduced by Weispfenning in 1998. We further improved the algorithm in 2015 so that we can make a satisfactorily practical implementation. For its efficient implementation, there are several key issues we have to take into account. In this extended abstract we introduce them together with some important techniques for making an efficient CGS real QE implementation.

元の言語英語
ホスト出版物のタイトルMathematical Software - 5th International Conference, ICMS 2016, Proceedings
編集者Gert-Martin Greuel, Andrew Sommese, Thorsten Koch, Peter Paule
出版者Springer Verlag
ページ165-172
ページ数8
ISBN(印刷物)9783319424316
DOI
出版物ステータス出版済み - 1 1 2016
外部発表Yes
イベント5th International Conference on Mathematical Software, ICMS 2016 - Berlin, ドイツ
継続期間: 7 11 20167 14 2016

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
9725
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

その他

その他5th International Conference on Mathematical Software, ICMS 2016
ドイツ
Berlin
期間7/11/167/14/16

Fingerprint

Quantifier Elimination
Real Roots
Efficient Implementation
Counting

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

これを引用

Fukasaku, R., Iwane, H., & Sato, Y. (2016). On the implementation of CGS real QE. : G-M. Greuel, A. Sommese, T. Koch, & P. Paule (版), Mathematical Software - 5th International Conference, ICMS 2016, Proceedings (pp. 165-172). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 9725). Springer Verlag. https://doi.org/10.1007/978-3-319-42432-3_21

On the implementation of CGS real QE. / Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke.

Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. 版 / Gert-Martin Greuel; Andrew Sommese; Thorsten Koch; Peter Paule. Springer Verlag, 2016. p. 165-172 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻 9725).

研究成果: 著書/レポートタイプへの貢献会議での発言

Fukasaku, R, Iwane, H & Sato, Y 2016, On the implementation of CGS real QE. : G-M Greuel, A Sommese, T Koch & P Paule (版), Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 巻. 9725, Springer Verlag, pp. 165-172, 5th International Conference on Mathematical Software, ICMS 2016, Berlin, ドイツ, 7/11/16. https://doi.org/10.1007/978-3-319-42432-3_21
Fukasaku R, Iwane H, Sato Y. On the implementation of CGS real QE. : Greuel G-M, Sommese A, Koch T, Paule P, 編集者, Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Springer Verlag. 2016. p. 165-172. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-42432-3_21
Fukasaku, Ryoya ; Iwane, Hidenao ; Sato, Yosuke. / On the implementation of CGS real QE. Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. 編集者 / Gert-Martin Greuel ; Andrew Sommese ; Thorsten Koch ; Peter Paule. Springer Verlag, 2016. pp. 165-172 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{6327679b42fa4b918b7d12eb5ef51dbf,
title = "On the implementation of CGS real QE",
abstract = "A CGS real QE method is a real quantifier elimination (QE) method which is composed of the computation of comprehensive Gr{\"o}bner systems (CGSs) based on the theory of real root counting. Its fundamental algorithm was first introduced by Weispfenning in 1998. We further improved the algorithm in 2015 so that we can make a satisfactorily practical implementation. For its efficient implementation, there are several key issues we have to take into account. In this extended abstract we introduce them together with some important techniques for making an efficient CGS real QE implementation.",
author = "Ryoya Fukasaku and Hidenao Iwane and Yosuke Sato",
year = "2016",
month = "1",
day = "1",
doi = "10.1007/978-3-319-42432-3_21",
language = "English",
isbn = "9783319424316",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "165--172",
editor = "Gert-Martin Greuel and Andrew Sommese and Thorsten Koch and Peter Paule",
booktitle = "Mathematical Software - 5th International Conference, ICMS 2016, Proceedings",
address = "Germany",

}

TY - GEN

T1 - On the implementation of CGS real QE

AU - Fukasaku, Ryoya

AU - Iwane, Hidenao

AU - Sato, Yosuke

PY - 2016/1/1

Y1 - 2016/1/1

N2 - A CGS real QE method is a real quantifier elimination (QE) method which is composed of the computation of comprehensive Gröbner systems (CGSs) based on the theory of real root counting. Its fundamental algorithm was first introduced by Weispfenning in 1998. We further improved the algorithm in 2015 so that we can make a satisfactorily practical implementation. For its efficient implementation, there are several key issues we have to take into account. In this extended abstract we introduce them together with some important techniques for making an efficient CGS real QE implementation.

AB - A CGS real QE method is a real quantifier elimination (QE) method which is composed of the computation of comprehensive Gröbner systems (CGSs) based on the theory of real root counting. Its fundamental algorithm was first introduced by Weispfenning in 1998. We further improved the algorithm in 2015 so that we can make a satisfactorily practical implementation. For its efficient implementation, there are several key issues we have to take into account. In this extended abstract we introduce them together with some important techniques for making an efficient CGS real QE implementation.

UR - http://www.scopus.com/inward/record.url?scp=84978791363&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84978791363&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-42432-3_21

DO - 10.1007/978-3-319-42432-3_21

M3 - Conference contribution

SN - 9783319424316

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 165

EP - 172

BT - Mathematical Software - 5th International Conference, ICMS 2016, Proceedings

A2 - Greuel, Gert-Martin

A2 - Sommese, Andrew

A2 - Koch, Thorsten

A2 - Paule, Peter

PB - Springer Verlag

ER -