Computing with semi-algebraic sets: relaxation techniques and effective boundaries
From MaRDI portal
Publication:1940931
DOI10.1016/j.jsc.2012.05.013zbMath1277.13021OpenAlexW2112151791WikidataQ59590585 ScholiaQ59590585MaRDI QIDQ1940931
Marc Moreno Maza, Rong Xiao, Changbo Chen, Bican Xia, James H. Davenport
Publication date: 11 March 2013
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2012.05.013
relaxationtriangular decompositionparametric polynomial systemsborder polynomialregular semi-algebraic systemeffective boundary
Software, source code, etc. for problems pertaining to commutative algebra (13-04) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Polynomials and finite commutative rings (13M10)
Related Items
On the extended Hensel construction and its application to the computation of real limit points ⋮ Multistability of Small Reaction Networks ⋮ Algebraic systems biology: a case study for the Wnt pathway
Uses Software
