Search and Browse the MSC 2000

65-XX Numerical analysis → ZMATH

65Gxx Error analysis and interval analysis → ZMATH

65G20 Algorithms with automatic result verification → ZMATH

65G30 Interval and finite arithmetic → ZMATH

65G40 General methods in interval analysis → ZMATH

65G50 Roundoff error → ZMATH

65G99 None of the above, but in this section → ZMATH