Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: 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.

Causal cardinal spline window

Definition

For P=1 set W1(u)=1[0,1](u), including both endpoints. For an integer P≥2, define the causal order-P window by WP(u)={1(P−1)!∑j=0P(−1)j(Pj)(u−j)+P−1,0≤u≤P,0,u<0 or u>P. Here s+=max⁡(s,0), m! is the factorial of the nonnegative integer m with 0!=1, and for integers 0≤j≤P, (Pj)=P!/(j!(P−j)!). Convolution means the integral operation (f∗g)(u)=∫Rf(u−s)g(s) ds, when the integrand is measurable and integrable, as in Convolution of two functions on Rn. The displayed formula is finite at every u and directly defines WP to vanish outside [0,P]; the local alias lemma proves that it agrees with the P-fold convolution of W1 and establishes the resulting integral, positivity, partition, Fourier-transform, and derivative identities.

Depends on

Used by

Dependency tree · two levels

2 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