ABSTRACT
Classical methods try to minimize rounding errors. Since unums and uboxes do not make rounding errors but instead track exact numbers or ULP-wide ranges, we need to reexamine what it really means to “solve” an equation on a computer. As usual, we will be looking for an approach that does not require programmer knowledge of numerical methods, and instead puts most of the burden on the computer to do the right thing.
