notesum.ai

Published at November 27

Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs

math.NA
cs.NA
math.AP

Released Date: November 27, 2024

Authors: Matthieu Cadiot, Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu

Arxiv: http://arxiv.org/abs/2411.18361v1