math.NA cs.NA math.AP
Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
Matthieu Cadiot Jonathan Jaquette Jean-Philippe Lessard Akitoshi Takayasu