TY - GEN
T1 - On Parametric Border Bases
AU - Sato, Yosuke
AU - Sekigawa, Hiroshi
AU - Fukasaku, Ryoya
AU - Nabeshima, Katsusuke
N1 - Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
PY - 2020
Y1 - 2020
N2 - We study several properties of border bases of parametric polynomial ideals and introduce a notion of a minimal parametric border basis. It is especially important for improving the quantifier elimination algorithm based on the computation of comprehensive Gröbner systems.
AB - We study several properties of border bases of parametric polynomial ideals and introduce a notion of a minimal parametric border basis. It is especially important for improving the quantifier elimination algorithm based on the computation of comprehensive Gröbner systems.
KW - Comprehensive Gröbner system
KW - Parametric border basis
KW - Quantifier elimination
UR - http://www.scopus.com/inward/record.url?scp=85083723501&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-43120-4_2
DO - 10.1007/978-3-030-43120-4_2
M3 - Conference contribution
AN - SCOPUS:85083723501
SN - 9783030431198
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 10
EP - 15
BT - Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019, Revised Selected Papers
A2 - Slamanig, Daniel
A2 - Tsigaridas, Elias
A2 - Zafeirakopoulos, Zafeirakis
PB - Springer
T2 - 8th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2019
Y2 - 13 November 2019 through 15 November 2019
ER -