QE software based on comprehensive Gröbner systems

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

2 引用 (Scopus)

抄録

We introduce two quantifier elimination softwares, one is in the domain of an algebraically closed field and another is of a real closed field. Both softwares are based on the computations of comprehensive Gröbner systems.

元の言語英語
ホスト出版物のタイトルMathematical Software, ICMS 2014 - 4th International Congress, Proceedings
出版者Springer Verlag
ページ512-517
ページ数6
ISBN(印刷物)9783662441985
DOI
出版物ステータス出版済み - 1 1 2014
イベント4th International Congress on Mathematical Software, ICMS 2014 - Seoul, 大韓民国
継続期間: 8 5 20148 9 2014

出版物シリーズ

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

会議

会議4th International Congress on Mathematical Software, ICMS 2014
大韓民国
Seoul
期間8/5/148/9/14

Fingerprint

Real Closed Fields
Quantifier Elimination
Software
Algebraically closed

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

これを引用

Fukasaku, R. (2014). QE software based on comprehensive Gröbner systems. : Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings (pp. 512-517). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 8592 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-662-44199-2_77

QE software based on comprehensive Gröbner systems. / Fukasaku, Ryoya.

Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings. Springer Verlag, 2014. p. 512-517 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻 8592 LNCS).

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

Fukasaku, R 2014, QE software based on comprehensive Gröbner systems. : Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 巻. 8592 LNCS, Springer Verlag, pp. 512-517, 4th International Congress on Mathematical Software, ICMS 2014, Seoul, 大韓民国, 8/5/14. https://doi.org/10.1007/978-3-662-44199-2_77
Fukasaku R. QE software based on comprehensive Gröbner systems. : Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings. Springer Verlag. 2014. p. 512-517. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-662-44199-2_77
Fukasaku, Ryoya. / QE software based on comprehensive Gröbner systems. Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings. Springer Verlag, 2014. pp. 512-517 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{6f093767283d4dfe96df00721d66f7af,
title = "QE software based on comprehensive Gr{\"o}bner systems",
abstract = "We introduce two quantifier elimination softwares, one is in the domain of an algebraically closed field and another is of a real closed field. Both softwares are based on the computations of comprehensive Gr{\"o}bner systems.",
author = "Ryoya Fukasaku",
year = "2014",
month = "1",
day = "1",
doi = "10.1007/978-3-662-44199-2_77",
language = "English",
isbn = "9783662441985",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "512--517",
booktitle = "Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings",
address = "Germany",

}

TY - GEN

T1 - QE software based on comprehensive Gröbner systems

AU - Fukasaku, Ryoya

PY - 2014/1/1

Y1 - 2014/1/1

N2 - We introduce two quantifier elimination softwares, one is in the domain of an algebraically closed field and another is of a real closed field. Both softwares are based on the computations of comprehensive Gröbner systems.

AB - We introduce two quantifier elimination softwares, one is in the domain of an algebraically closed field and another is of a real closed field. Both softwares are based on the computations of comprehensive Gröbner systems.

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

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

U2 - 10.1007/978-3-662-44199-2_77

DO - 10.1007/978-3-662-44199-2_77

M3 - Conference contribution

AN - SCOPUS:84905836975

SN - 9783662441985

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

SP - 512

EP - 517

BT - Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings

PB - Springer Verlag

ER -