Computer-assisted enclosure methods for elliptic differential equations (2001)

by M Plum