Alphabeta Math
AlgorithmAlgorithm: 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.

Explicit Euler for a scalar neutral delay on a compatible grid

Definition

Inputs and admissibility. Take a scalar neutral-delay problem from Scalar neutral delay equations and the derivative-segment shift with T=Kτ, τ>0, integers K,m≥1, a compatible C1 history ϕ, coefficient a, and right-hand side f. An optional budget B∈N0 limits calls to f; if omitted, it imposes no limit. These are the admissible inputs.

Output. On completion, return Y0,…,YN and V0,…,VN−1. If the budget expires first, return budget-exhausted, the number of completed updates, the initialized history and all accepted states and derivatives.

  1. Set N=Km, h=τ/m, and tn=nh. Store Yj=ϕ(tj) and Vj=ϕ′(tj) for j=−m,…,−1, and set Y0=ϕ(0).

  2. For n=0,…,N−1, if a budget was supplied and n≥B, return budget-exhausted with n completed updates, the initialized values, Y0,…,Yn, and V0,…,Vn−1. Otherwise set Dn=ϕ′(tn−τ) when n<m and Dn=Vn−m when n≥m, then set Vn=aDn+f(tn,Yn,Yn−m) and Yn+1=Yn+hVn.

  3. Return completed, the nodal states Y0,…,YN and nodal derivative values V0,…,VN−1.

Remarks

Defined evaluations, compatibility, finite execution and storage counts are proved in Finite execution and storage counts for compatible neutral Euler ↗.

Depends on

Used by

Dependency tree · two levels

6 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