{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "ND1CBJS6V2"
    }
  ],
  "body": "\n## Summary\n\nA holonomic sequence, also called a P-recursive sequence, is a sequence that satisfies a [[linear recurrence with polynomial coefficients|K6QV4WSTXX]].\nA sequence is holonomic exactly when its generating function is a [[holonomic function|7H44JD9NQD]].\nThe class is closed under sums, termwise products and many other operations, which makes it the basis of automatic proofs of identities for sums.\nIt contains the solutions of linear recurrences with constant coefficients, the factorials, the Catalan numbers and the harmonic numbers.\n\n## Explanations\n\n### L1 human\n\nSome sequences grow in complicated ways, but still obey a simple linear rule whose coefficients are polynomials in the position $n$.\nThe factorials obey $u_{n+1} = (n+1) u_n$, so they are holonomic.\nSuch a rule together with a few starting values is a complete, finite description of the sequence.\nA computer can store it, add two such sequences, or check an identity by comparing rules.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "39A06",
      "33F10",
      "05A15"
    ],
    "name": "Holonomic sequence",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Holonomic_function"
      }
    ],
    "tag": "NWKX329T01"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/NWKX329T01/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/NWKX329T01.md",
  "msc": [
    "39A06",
    "33F10",
    "05A15"
  ],
  "name": "Holonomic sequence",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/NWK/NWKX329T01.md",
  "status": null,
  "tag": "NWKX329T01",
  "uri": "m2://NWKX329T01",
  "url": "https://tamnd.github.io/math2/wiki/holonomic-sequence/",
  "writing": {
    "tag": "NWKX329T01",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}