Theoremadvanced
Gaussian quadrature exactness theorem
Also called Gauss degree 2n-1 theorem.
An n-point interpolatory rule with nodes at the roots of an orthogonal polynomial is exact to degree 2n-1, and no n-point rule does better.
An n-point interpolatory rule with nodes at the roots of an orthogonal polynomial is exact to degree 2n-1, and no n-point rule does better.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag 48ZFB6 Edit this page History Report an error