Mathematical astronomy - Biographies