Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape - Liu, Xuefeng; Oishi, Shin'ichi (SIAM journal on numerical analysis, 2013)