2 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Maxime Breden, Matthieu Cadiot, Antoine Zurek
In this paper, we present a computer-assisted framework for constructive proofs of existence for stationary solutions to one-dimensional parabolic PDEs and the rigorous determinati…