Home /  Workshop /  Schedules /  Computer-assisted existence and multiplicity proofs for elliptic boundary value problems

Computer-assisted existence and multiplicity proofs for elliptic boundary value problems

SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation November 17, 2010 - November 19, 2010

November 18, 2010 (09:00 AM PST - 09:50 AM PST)
Speaker(s): Michael Plum
Location: SLMath: Eisenbud Auditorium
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC
Video

v0261

Abstract No Abstract Uploaded
Supplements No Notes/Supplements Uploaded
Video/Audio Files

v0261

DVD Video v0261-v0261-MPEG-2.m2v 1.28 GB video/mpeg Download
Audio v0261-v0261-AIFF.aiff 251 MB audio/x-aiff Download
Quicktime v0261-v0261-Quicktime.mov 285 MB video/quicktime rtsp://videos.msri.org/v0261/v0261-v0261-Quicktime.mov Download
H.264 Video v0261-v0261.mp4 258 MB video/mp4 Download
Troubles with video?

Please report video problems to itsupport@slmath.org.

See more of our Streaming videos on our main VMath Videos page.