8 Settembre, 2008 

Sezione di Calcolo delle Variazioni ed Equazioni Differenziali

Computer-assisted existence proofs for semilinear elliptic boundary value problems

Michael Plum, Università di Karlsruhe