Explore le sous-typage, le calcul de type et le calcul de limites de type dans un système avec sous-typage, guidant à travers des exercices et des preuves étape par étape.
Couvre les propriétés des nombres réels, en se concentrant sur l'ordre total et l'exhaustivité, y compris la propriété Archimède et les concepts de supreme et d'infimum.
Couvre le produit interne de Petersson et les opérateurs de Hecke dans la théorie des formes modulaires, en explorant leurs définitions et leurs propriétés.
Couvre la convergence des séquences dans l'analyse multivariée, y compris les définitions, les propriétés et les exemples dans les dimensions supérieures.
