Sarah Day, William D. Kalies, Thomas Wanner. Verified Homology Computations for Nodal Domains. Multiscale Modeling & Simulation, 7(4):1695-1726, 2009. [doi]
@article{DayKW09, title = {Verified Homology Computations for Nodal Domains}, author = {Sarah Day and William D. Kalies and Thomas Wanner}, year = {2009}, doi = {10.1137/080735722}, url = {http://dx.doi.org/10.1137/080735722}, researchr = {https://researchr.org/publication/DayKW09}, cites = {0}, citedby = {0}, journal = {Multiscale Modeling & Simulation}, volume = {7}, number = {4}, pages = {1695-1726}, }