| Abstract: |
| In this talk, we present a rigorous computer-assisted proof (CAP) of the conjecture that there exists a unique convex central configuration for any four fixed nonnegative masses in a given order except those near zero. The proof employs the Krawczyk operator and interval analysis, as well as the implicit function theorem with the estimation on the size of the region where the implicit function exists. |
|