13 citations · 24 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.AP2021★ 6 cited
Computer-assisted proofs for some nonlinear diffusion problems
Maxime Breden
In the last three decades, powerful computer-assisted techniques have been developed in order to validate a posteriori numerical solutions of semilinear elliptic problems of the fo…
math.DS2021★ 13 cited
Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
Maxime Breden, Maximilian Engel
We confirm a long-standing conjecture concerning shear-induced chaos in stochastically perturbed systems exhibiting a Hopf bifurcation. The method of showing the main chaotic prope…