activity
20132023
most citedComputer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model

25 citations · 63 across the 13 of their papers we have counts for

collaborators
Showing 2013Show all

1 paper · 1 filter

math.DS2013

Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof

Jacek Cyranka

We present a computer assisted method for proving the existence of globally attracting fixed points of dissipative PDEs. An application to the viscous Burgers equation with periodi…