On real roots counting for non-radical parametric ideals

DOI10.1007/978-3-319-72453-9_18MaRDI QIDQ4628494zbMATH OpenOpenAlexFDO

Authors Ryoya Fukasaku, Yosuke Sato

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

comprehensive Gröbner systemHermitian quadratic formquantifier elimination

Mathematics Subject Classification ID

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

Recommendations

• Quantifier elimination for real algebra -- the quadratic case and beyond
• scientific article; zbMATH DE number 1263423
• Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
• Radical computations of zero-dimensional ideals and real root counting.
• Solving parametric systems of polynomial equations over the reals through Hermite matrices

Cited in

(2)

• On multivariate Hermitian quadratic forms
• On Parametric Border Bases

This page was built for publication: On real roots counting for non-radical parametric ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4628494)