65G20 Algorithms with automatic result verification
65G30 Interval and finite arithmetic
65G40 General methods in interval analysis
65G50 Roundoff error
65G99 None of the above, but in this section