-norm of the orthogonal projector onto splines. A short proof of A. Shadrin's theorem.

Manfred von Golitschek

Published in: J. Approx. Theory (2014)

Keyphrases

interactive theorem proving
theorem proving
b spline
structured light
orthogonal polynomials
von neumann
data sets
knowledge base
case study
multiscale
objective function
special case
theorem prover
regularized least squares
penalty term
mathematical proofs