A validated matrix multiplication transform for Zernike polynomials enables computer-assisted existence proofs for nonlinear elliptic PDEs on the disk, including a singular toy problem.
Rounding error bounds for the C lenshaw and F orsythe algorithms for the evaluation of orthogonal polynomial series
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.NA 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
A validated matrix multiplication transform for Zernike polynomials enables computer-assisted existence proofs for nonlinear elliptic PDEs on the disk, including a singular toy problem.