Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Oriented interval meshes and broken polynomial spaces

Definition

Let a<b and choose an integer N≥1 and points a=x0<x1<⋯<xN=b. The oriented interval mesh is the ordered family of cells Ij=(xj−1,xj), 1≤j≤N, each oriented from left to right. Write hj=xj−xj−1>0. For an integer p≥0, the broken polynomial space is Vhbr=∏j=1NPp(Ij), with functions interpreted cell by cell. At an interior node xj, write wj−=w∣Ij(xj) for the trace from the left cell and wj+=w∣Ij+1(xj) for the trace from the right cell; the chosen face normal points from left to right, and the jump is [w]j=wj+−wj−. At a and b, the outward normals are −1 and +1, respectively.

The published matching-affine-simplicial-mesh convention used elsewhere on the A page has dimension d≥2. This definition supplies the distinct one-dimensional interval and trace convention; it makes no assertion about multidimensional cells.

Used by

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources