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

Video From 14w5098: Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics

Michael Plum, Karlsruhe Institute of Technology

Wednesday, September 24, 2014 09:04 - 09:57

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

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

Download this video (171M)