Smale's sixth problem for five bodies in the plane, with a proof formalized in Lean
Source files
root filemain.tex · root file3 KiB · SHA-256 a145922bac3b9d28… · view textauxiliary filesec/a_appendix.tex14 KiB · SHA-256 75ac7c1b5ec882b6… · view textauxiliary filesec/a_d5hulls.tex37 KiB · SHA-256 f8135642c21a6526… · view textauxiliary filesec/abstract.tex2 KiB · SHA-256 fe359b635028ca95… · view textauxiliary filesec/app_d2.tex45 KiB · SHA-256 72de43a17df81f29… · view textauxiliary filesec/refs.tex2 KiB · SHA-256 dbb672f0661596eb… · view textauxiliary filesec/s10_proof.tex1 KiB · SHA-256 d86a0d0a1acb22d4… · view textauxiliary filesec/s11_verification.tex24 KiB · SHA-256 0f1198942d7926ee… · view textauxiliary filesec/s1_intro.tex12 KiB · SHA-256 55cdcc2d324e6931… · view textauxiliary filesec/s2_setup.tex14 KiB · SHA-256 c065236ccb9fb475… · view textauxiliary filesec/s3_types.tex42 KiB · SHA-256 ee52961ad8c3f5f3… · view textauxiliary filesec/s4_lex.tex10 KiB · SHA-256 dac3d174c2db95ed… · view textauxiliary filesec/s5_d14.tex39 KiB · SHA-256 5d134c3187ea8d8b… · view textauxiliary filesec/s5_d9.tex16 KiB · SHA-256 a06de9036b469329… · view textauxiliary filesec/s5_energy.tex39 KiB · SHA-256 321b4713e3eac258… · view textauxiliary filesec/s5_points.tex20 KiB · SHA-256 edaa31f3f558fa52… · view textauxiliary filesec/s6_near.tex27 KiB · SHA-256 367f3515c31e65c3… · view textauxiliary filesec/s8_curves.tex34 KiB · SHA-256 d4bd3aefe8452fb1… · view textauxiliary filesec/s9_rays.tex19 KiB · SHA-256 308e40ee0b459e10… · view textauxiliary filesec/s_reduction.tex2 KiB · SHA-256 099146353fe8826c… · view text