@InProceedings{fazekas_et_al:DagSemProc.05391.4, author = {Fazekas, Borb\'{a}la and Plum, Michael and Wieners, Christian}, title = {{Enclosure for the Biharmonic Equation}}, booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5391}, editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.4}, URN = {urn:nbn:de:0030-drops-4489}, doi = {10.4230/DagSemProc.05391.4}, annote = {Keywords: Biharmonic problem, enclosure, finite elements} }