A real polynomial decision algorithm using arbitrary-precision floating point arithmetic

DOI10.1023/A:1009924521389zbMath0947.65059OpenAlexW4230173220MaRDI QIDQ1971088

Adam Wojciech Strzeboński

Publication date: 13 November 2000

Published in: Reliable Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009924521389

zbMATH Keywords

Mathematicacylindrical algebraic decomposition algorithmreal polynomial decision algorithmsystem of real polynomial equations and inequalities

Mathematics Subject Classification ID

Uses Software

• Mathematica

This page was built for publication: A real polynomial decision algorithm using arbitrary-precision floating point arithmetic