QE software based on comprehensive Gröbner systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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öbner systems.

Original languageEnglish
Title of host publicationMathematical Software, ICMS 2014 - 4th International Congress, Proceedings
PublisherSpringer Verlag
Pages512-517
Number of pages6
ISBN (Print)9783662441985
DOIs
Publication statusPublished - Jan 1 2014
Externally publishedYes
Event4th International Congress on Mathematical Software, ICMS 2014 - Seoul, Korea, Republic of
Duration: Aug 5 2014Aug 9 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8592 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th International Congress on Mathematical Software, ICMS 2014
CountryKorea, Republic of
CitySeoul
Period8/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)

Cite this

Fukasaku, R. (2014). QE software based on comprehensive Gröbner systems. In 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); Vol. 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); Vol. 8592 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fukasaku, R 2014, QE software based on comprehensive Gröbner systems. in 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), vol. 8592 LNCS, Springer Verlag, pp. 512-517, 4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, 8/5/14. https://doi.org/10.1007/978-3-662-44199-2_77
Fukasaku R. QE software based on comprehensive Gröbner systems. In 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 -