Lazy exact real arithmetic using floating point operations

Exact real arithmetic systems can specify any amount of precision on the output of the computations. They are used in a wide variety of applications when a high degree of precision is necessary. Some of these applications include: differential equation solvers, linear equation solvers, large scale m...

Full description

Bibliographic Details
Main Author: McCleeary, Ryan
Other Authors: Stump, Aaron
Format: Others
Language:English
Published: University of Iowa 2019
Subjects:
Online Access:https://ir.uiowa.edu/etd/6991
https://ir.uiowa.edu/cgi/viewcontent.cgi?article=8492&context=etd