Smale's sixth problem for six bodies in the plane: finiteness of central configurations for generic masses, with a proof formalized in Lean
Source files
root filemain.tex · root file3 KiB · SHA-256 fb1c14fc5f9341c0… · view textauxiliary filesec/abstract.tex898 B · SHA-256 0bc23219b295b4d3… · view textauxiliary filesec/refs.tex5 KiB · SHA-256 a5cb224b5a99e1f7… · view textauxiliary filesec/s1_intro.tex9 KiB · SHA-256 8620e360ece32f98… · view textauxiliary filesec/s2_setup.tex20 KiB · SHA-256 0d5be0dfcc5a6375… · view textauxiliary filesec/s3_diagrams.tex5 KiB · SHA-256 4adfa99f37717f80… · view textauxiliary filesec/s4_cells.tex10 KiB · SHA-256 7ad418b954688353… · view textauxiliary filesec/s5_exclusion.tex6 KiB · SHA-256 f90bc80f78925a5e… · view textauxiliary filesec/s6_ak50.tex44 KiB · SHA-256 c2c5bd9e78567fcd… · view textauxiliary filesec/s7_k4.tex25 KiB · SHA-256 908f42ea0ba068fe… · view textauxiliary filesec/s8_proof.tex4 KiB · SHA-256 cfcbe5d54a8cf7b7… · view textauxiliary filesec/s9_verification.tex30 KiB · SHA-256 de8ad81affb5903e… · view textauxiliary filesec/s_hand.tex46 KiB · SHA-256 0a2ac31c76317e92… · view text