Explore le recalibrage de l'échelle de distance cosmique en utilisant la photométrie précise et les parallaxes de Gaia, en abordant les défis et les raffinements potentiels.
Explore les définitions des équations différentielles ordinaires, les solutions, les degrés polynomiaux, les solutions autonomes, les solutions maximales et le problème de Cauchy.
Couvre les types polymorphes dans Amy, y compris les règles Hindley-Milner, les schémas de type, l'instanciation et la gestion des variables de type dans les fonctions.