Michael Plum

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

    Speaker:

    Link:

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

    Speaker:

    Link: