Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generated
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Boys functions and lower incomplete-gamma notation

Definition

Write N0={0,1,2,…}. For m∈N0 and T∈R, define the finite-integral extension Fm(T)=∫01t2mexp⁡(−Tt2) dt. The Boys function is the restriction to the conventional domain T≥0. The extension to negative T is used only for ordinary center derivatives at the boundary value T=0. For s>0 and T>0, write the lower incomplete-gamma integral as γ(s,T)=∫0Tus−1exp⁡(−u) du. The complete Euler Gamma function Γ(s) has the existing meaning in Euler's Gamma function on the right half-plane, namely Γ(s)=∫0∞us−1e−u du for real s>0.

The integrand defining Fm is continuous on [0,1] and positive on (0,1], so Fm(T) exists, is positive, and, for T≥0, satisfies Fm(T)≤1/(2m+1). The index m is an arbitrary nonnegative integer; no fixed maximum order is part of this definition.

Depends on

Used by

Dependency tree · two levels

12 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources