How to Recognize Zero

Daniel Richardson. How to Recognize Zero. Journal of Symbolic Computation, 24(6):627-645, 1997. [doi]

Abstract

Abstract is missing.