Michael Plum, Video: Computer-assisted existence and multiplicity proofs for semilinear elliptic boundary value problems

Michael Plum, Video: Computer-assisted existence and multiplicity proofs for semilinear elliptic boundary value problems

Michael Plum, Computer-assisted existence and multiplicity proofs for semilinear elliptic boundary value problems, Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics, BIRS, BIRS talk, 14w5098, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

171M

http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos

http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409240904-Plum.html