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.
Single new-knot insertion for a B-spline curve
Definition
Use the zero-based reindexing of the clamped knot vector in B-spline spaces and knot conventions, so with . Let , , and let the controls be . Let be a nonempty span index with , where is not already a knot. Insert between and to obtain . The output controls are defined by
The middle range is empty when . The curve uses the same degree and the B-spline basis for the new knot vector. Each denominator in the middle range is positive and each lies in , so the update is an exact affine blend. This procedure inserts one knot that is new to the vector; repeated insertion at an existing knot is not part of this algorithm's input contract.
Depends on
Used by
- Conforming isogeometric Galerkin spaces and h/p/k refinement Definition
- Inserting a knot leaves a linear B-spline curve fixed Example
- A single new knot refines the B-spline basis Lemma
- Homogeneous knot insertion preserves an admissible NURBS patch Theorem
- Single new-knot insertion preserves the B-spline curve Theorem
Dependency tree · one level
1 result within one dependency step 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
- Carl de Boor, A Practical Guide to Splines, revised edition, Chapter XI, pp. 135–138 (standard reference, not scraped)
- Gershon Elber, Computer Aided Geometric Design, Chapter 7, Boehm's knot insertion (standard reference, not scraped)