Équations de Boussinesqthumb|right|250px|Ondes de gravité à l'entrée d'un port (milieu à profondeur variable). Les équations de Boussinesq en mécanique des fluides désignent un système d'équations d'ondes obtenu par approximation des équations d'Euler pour des écoulements incompressibles irrotationnels à surface libre. Elles permettent de prévoir les ondes de gravité comme ondes cnoïdales, ondes de Stokes, houle, tsunamis, solitons, etc. Ces équations ont été introduites par Joseph Boussinesq en 1872 et sont un exemple d'équations aux dérivées partielles dispersives.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Essai de compressionUn essai de compression mesure la résistance à la compression d'un matériau sur une machine d'essais mécaniques suivant un protocole normalisé. Les essais de compression se font souvent sur le même appareil que l'essai de traction mais en appliquant la charge en compression au lieu de l'appliquer en traction. Pendant l'essai de compression, l'échantillon se raccourcit et s'élargit. La déformation relative est « négative » en ce sens que la longueur de l'échantillon diminue.
