Adam W. Strzebonski: A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic. Reliab. Comput. 5(3): 337-346 (1999)