TY - RPRT TI - Computer-assisted proofs for some nonlinear diffusion problems AU - Maxime Breden PY - 2021 DO - 10.1016/j.cnsns.2022.106292 UR - https://arxiv.org/abs/2102.01501 ID - 2102.01501 ER -