Jiri Rohn Books
Computational Complexity and Feasibility of Data Processing and Interval Computations
By Anatoly Lakeyev, Jiri Rohn, Patrick Kahl, Vladik Kreinovich
The input data for data processing algorithms come from measurements and are hence not precise. We therefore need to estimate the accuracy of the results of data processing. It turns out that even...
Read MoreSymbolic Algebraic Methods and Verification Methods Springer Mathematics
By
The usual "implementation” of real numbers as floating point numbers on existing computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating po...
Read More