- Series
- CDSNS Colloquium
- Time
- Monday, May 2, 2016 - 10:00am for 1 hour (actually 50 minutes)
- Location
- Skiles 005
- Speaker
- C.M. Groothedde – V.U. Amsterdam
- Organizer
- Rafael de la Llave
We shall take a look at computer-aided techniques that can be
used to prove the existence of stationary solutions of radially
symmetric PDEs. These techniques combine existing numerical methods with
functional analytic estimates to provide a computer-assisted proof by
means of the so-named 'radii-polynomial' approach.