Smale's sixth problem for six bodies in the plane: finiteness of central configurations for generic masses, with a proof formalized in Lean

Tomar, Tejasvi Singh

DOI: 10.5281/zenodo.23720035

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.