Verified Homology Computations for Nodal Domains
نویسندگان
چکیده
منابع مشابه
Verified Homology Computations for Nodal Domains
Homology has long been accepted as an important computational tool for quantifying complex structures. In many applications these structures arise as nodal domains of real-valued functions and are therefore amenable only to a numerical study based on suitable discretizations. Such an approach immediately raises the question of how accurately the resulting homology can be computed. In this paper...
متن کاملProbabilistic and Numerical Validation of Homology Computations for Nodal Domains
Homology has long been accepted as an important computable tool for quantifying complex structures. In many applications these structures arise as nodal domains of real-valued functions and are therefore amenable only to a numerical study, based on suitable discretizations. Such an approach immediately raises the question of how accurate the resulting homology computations are. In this paper we...
متن کاملProbabilistic Validation of Homology Computations for Nodal Domains
Homology has long been accepted as an important computable tool for quantifying complex structures. In many applications, these structures arise as nodal domains of real-valued functions and are therefore amenable only to a numerical study based on suitable discretizations. Such an approach immediately raises the question of how accurate the resulting homology computations are. In this paper, w...
متن کاملCompiling computations to constraints for verified computation
We present a compiler that automates the task of converting high-level code to constraint sets of the form accepted by the Ginger and Zaatar protocols for verified computation. Performing the conversion from high-level code to constraints by hand is prone to human error and therefore not practical for large computations. This paper evaluates the performance of the compiler and the effectiveness...
متن کاملVerified Computations for Hyperbolic 3-Manifolds
Recent progress in field of 3-manifold topology has confirmed that each 3-manifold can be decomposed in to pieces that admit a geometric structure modelled on the quotient of one of eight simply connected spaces (for further background see the references below). By most accounts, the most common, and yet least understood of these geometric structures is the hyperbolic structure. A manifold M ad...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Multiscale Modeling & Simulation
سال: 2009
ISSN: 1540-3459,1540-3467
DOI: 10.1137/080735722