Forme modulaireEn mathématiques, une forme modulaire est une fonction analytique sur le demi-plan de Poincaré satisfaisant à une certaine sorte d'équation fonctionnelle et de condition de croissance. La théorie des formes modulaires est par conséquent dans la lignée de l'analyse complexe mais l'importance principale de la théorie tient dans ses connexions avec le théorème de modularité et la théorie des nombres.
Nappe de charriageUne nappe de charriage est un ensemble important (par rapport à l'écaille ou lame de charriage) de couches géologiques qui, lors d'une orogenèse, se sont décollées du socle et se sont déplacées sur de grandes distances. On parle alors de terrains allochtones par opposition aux terrains autochtones. Les termes allochtone et autochtone sont utilisés par convention et ne préjugent pas du déplacement absolu des strates mais de leurs déplacements relatifs, il est en effet souvent impossible de déterminer si c'est la couche supérieure ou inférieure qui s'est déplacée.
Mathematical problemA mathematical problem is a problem that can be represented, analyzed, and possibly solved, with the methods of mathematics. This can be a real-world problem, such as computing the orbits of the planets in the solar system, or a problem of a more abstract nature, such as Hilbert's problems. It can also be a problem referring to the nature of mathematics itself, such as Russell's Paradox. Informal "real-world" mathematical problems are questions related to a concrete setting, such as "Adam has five apples and gives John three.
Stochastic geometryIn mathematics, stochastic geometry is the study of random spatial patterns. At the heart of the subject lies the study of random point patterns. This leads to the theory of spatial point processes, hence notions of Palm conditioning, which extend to the more abstract setting of random measures. There are various models for point processes, typically based on but going beyond the classic homogeneous Poisson point process (the basic model for complete spatial randomness) to find expressive models which allow effective statistical methods.
