Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"computer-assisted proofs"”.
-
Computer-assisted proofs in geometry and physics
In this dissertation we apply computer-assisted proof techniques to two problems, one in discrete geometry and one in celestial mechanics. Our main tool is an effective inverse function theorem which shows that, in favorable conditions, the existence of an approximate solution to a system of …
-
Mathematical and Computational Methods for the n-Body Problem
… advanced numerical optimisation, and rigorous computer-assisted proofs (CAPs) to detect, classify, and validate periodic solutions of the n-body problem. The work begins by reformulating the search for periodic trajectories as a variational problem, where periodic orbits correspond to critical …
-
The Foundations of Infinite-Dimensional Spectral Computations
… Hilbert spaces?” The boundaries of what computers can achieve in computational spectral theory and mathematical physics are unknown, leaving many open questions that have been unsolved for decades. This thesis provides solutions to several such long-standing problems. To determine these …