Triangular decomposition of semi-algebraic systems
From MaRDI portal
Publication:5917866
DOI10.1016/j.jsc.2011.12.014zbMath1260.14070OpenAlexW2150928761WikidataQ59590592 ScholiaQ59590592MaRDI QIDQ5917866
Could not fetch data.
Publication date: 10 January 2013
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2011.12.014
Could not fetch data.
Could not fetch data.