Computer-assisted proofs packaged as statement + inputs + checker. Format: spec.
1 entry
| Theorem | Paper | Location |
|---|---|---|
| Marchal's conjecture Renato Calleja, Carlos García-Azpeitia, Olivier Hénot, Jean-Philippe Lessard, Jason D. Mireles James n-body problem, choreography, periodic orbit, radii polynomial, Chebyshev-Fourier series |
Trans. Amer. Math. Soc. (2026), doi:10.1090/tran/9779; arXiv:2406.17564 | link |