TY  - RPRT
TI  - Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
AU  - Matthieu Cadiot
AU  - Jonathan Jaquette
AU  - Jean-Philippe Lessard
AU  - Akitoshi Takayasu
PY  - 2024
UR  - https://arxiv.org/abs/2411.18361
ID  - 2411.18361
ER  -