Talk page

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

Speaker:
Michael Plum

Link:
https://www.msri.org/workshops/575/schedules/11562

Workshop:
MSRI- SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation