Computing with semi-algebraic sets represented by triangular decomposition

DOI10.1145/1993886.1993903zbMath1323.14029OpenAlexW2021153515WikidataQ59590604 ScholiaQ59590604MaRDI QIDQ5254156

Bican Xia, Marc Moreno Maza, Rong Xiao, Changbo Chen, James H. Davenport

Publication date: 9 June 2015

Published in: Proceedings of the 36th international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: http://opus.bath.ac.uk/24950/1/Chen_ISSAC2011_75.pdf

zbMATH Keywords

relaxationtriangular decompositionborder polynomialregular semi-algebraic systemeffective boundary

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10)

Related Items (6)

The kinetic space of multistationarity in dual phosphorylation ⋮ Nonlinear algebra and applications ⋮ Computing real radicals and \(S\)-radicals of polynomial systems ⋮ On solving parametric polynomial systems ⋮ Generalizing the Steiner-Lehmus theorem using the Gröbner cover ⋮ Whitney's theorem, triangular sets, and probabilistic descent on manifolds

This page was built for publication: Computing with semi-algebraic sets represented by triangular decomposition