Certified eliminations in the planar six-body central-configuration problem: paper, certificates, pinned solver inputs, and a dependency-free reproduction pipeline
reproducible-research symbolic-computation celestial-mechanics computer-assisted-proof n-body-problem central-configurations elimination-theory
-
Updated
Jul 12, 2026 - Python