Verified Homology Computations for Nodal Domains

Sarah Day, William D. Kalies, Thomas Wanner. Verified Homology Computations for Nodal Domains. Multiscale Modeling & Simulation, 7(4):1695-1726, 2009. [doi]

Abstract

Abstract is missing.