Mathematics Branches, Topics, and Sub-Topics

A structured visual guide to the major mathematical areas and their relationships.

Search by code, branch, topic, subtopic, or a keyword from the descriptions.

65Gxx Error analysis and interval methods

This subtopic introduces the core ideas in error analysis and interval methods, including foundational concepts, standard methods, and the main questions used to organize the area. Typical uses include building mathematical background, framing related research problems, and supporting applications in neighboring fields where these concepts provide useful structure.

Specific topics

65G20 Algorithms with automatic result verification

Overview

Algorithms with automatic result verification. This topic addresses numerical error analysis and interval methods for reliable computation with rigorous bounds.

Related Wikipedia Page

Wikipedia: Interval arithmetic

Useful Links

Key Ideas

  • forward/backward error propagation
  • validated numerics via intervals
  • rounding and uncertainty control

Typical Uses

Used to certify numerical results and control computational uncertainty.

Applications

  • Verified scientific computing
  • Safety-critical simulation
  • Computer-assisted proofs

References

Recommended Textbooks

65G30 Interval and finite arithmetic

Overview

Interval and finite arithmetic. This topic addresses numerical error analysis and interval methods for reliable computation with rigorous bounds.

Related Wikipedia Page

Wikipedia: Interval arithmetic

Useful Links

Key Ideas

  • forward/backward error propagation
  • validated numerics via intervals
  • rounding and uncertainty control

Typical Uses

Used to certify numerical results and control computational uncertainty.

Applications

  • Verified scientific computing
  • Safety-critical simulation
  • Computer-assisted proofs

References

Recommended Textbooks

65G40 General methods in interval mathematics

Overview

General methods in interval mathematics. This topic addresses numerical error analysis and interval methods for reliable computation with rigorous bounds.

Related Wikipedia Page

Wikipedia: Interval arithmetic

Useful Links

Key Ideas

  • forward/backward error propagation
  • validated numerics via intervals
  • rounding and uncertainty control

Typical Uses

Used to certify numerical results and control computational uncertainty.

Applications

  • Verified scientific computing
  • Safety-critical simulation
  • Computer-assisted proofs

References

Recommended Textbooks

65G50 Roundoff error

Overview

Roundoff error. This topic addresses numerical error analysis and interval methods for reliable computation with rigorous bounds.

Related Wikipedia Page

Wikipedia: Interval arithmetic

Useful Links

Key Ideas

  • forward/backward error propagation
  • validated numerics via intervals
  • rounding and uncertainty control

Typical Uses

Used to certify numerical results and control computational uncertainty.

Applications

  • Verified scientific computing
  • Safety-critical simulation
  • Computer-assisted proofs

References

Recommended Textbooks