{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "D1FM4ECHKD"
    }
  ],
  "body": "\n## Summary\n\nInterval arithmetic computes with closed bounded [[intervals|0Q1D85B8G6]] of real numbers instead of single numbers.\nThe result of an operation on two intervals is the smallest interval that contains every result of the operation on numbers taken from them.\nWhen a computer rounds the lower end down and the upper end up, the computed interval is sure to contain the exact answer.\nThis gives rigorous error bounds and is the base of verified numerical computation and of some computer-assisted proofs.\n\n## Explanations\n\n### L1 human\n\nIf you know only that a length lies between $1$ and $2$ and another lies between $3$ and $5$, then their sum lies between $4$ and $7$.\nInterval arithmetic makes this kind of reasoning into a set of rules for adding, subtracting, multiplying and dividing ranges.\nEach number with an uncertainty becomes an interval, and the final interval shows how large the uncertainty of the answer can be.\nA catch is that the same quantity used twice is treated as two independent quantities, so the bounds can be wider than needed: $[0, 1] - [0, 1]$ is $[-1, 1]$, not $\\set{0}$.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "65G30",
      "65G40"
    ],
    "name": "Interval arithmetic",
    "same_as": {
      "wikidata": "Q1671453",
      "wikipedia": "Interval arithmetic"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Interval_arithmetic"
      }
    ],
    "tag": "QPKKTE1ZY0"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/QPKKTE1ZY0/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/QPKKTE1ZY0.md",
  "msc": [
    "65G30",
    "65G40"
  ],
  "name": "Interval arithmetic",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/QPK/QPKKTE1ZY0.md",
  "status": null,
  "tag": "QPKKTE1ZY0",
  "uri": "m2://QPKKTE1ZY0",
  "url": "https://math2.tamnd.com/wiki/interval-arithmetic/",
  "writing": {
    "tag": "QPKKTE1ZY0",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}