×

A real polynomial decision algorithm using arbitrary-precision floating point arithmetic. (English) Zbl 1097.65526

Csendes, Tibor (ed.), Developments in reliable computing. SCAN-98 conference, 8th international symposium on Scientific computing, computer arithmetic and validated numerics. Budapest, Hungary, September 22–25, 1998. Dordrecht: Kluwer Academic Publishers (ISBN 0-7923-6057-5). 337-346 (1999).
For the entire collection see [Zbl 0933.00041].

MSC:

65H10 Numerical computation of solutions to systems of equations
65G30 Interval and finite arithmetic

Software:

QEPCAD
PDFBibTeX XMLCite