Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing. - Maxime Breden; Maxime Payan (CoRR, 2023)

Turing instability for nonlocal heterogeneous reaction-diffusion systems: A computer-assisted proof approach. - Maxime Breden; Maxime Payan; Cordula Reisch; Bao Quoc Tang (CoRR, 2025)