On Real Roots Counting for Non-radical Parametric Ideals

DOI10.1007/978-3-319-72453-9_18zbMath1497.68584OpenAlexW2777637363MaRDI QIDQ4628494

Yosuke Sato, Ryoya Fukasaku

Publication date: 14 March 2019

Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-72453-9_18

zbMATH Keywords

quantifier eliminationcomprehensive Gröbner systemHermitian quadratic form

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Related Items (1)

On Parametric Border Bases

This page was built for publication: On Real Roots Counting for Non-radical Parametric Ideals