Aquifèrethumb|upright=1.7|L'aquifère peut stocker de l'eau souterraine. Un aquifère est un sol ou une roche réservoir originellement poreuse ou fissurée, contenant une nappe d'eau souterraine et suffisamment perméable pour que l'eau puisse y circuler librement. Les aquifères pourraient être utilisés dans des projets de séquestration géologique du dioxyde de carbone. On distingue aquifères poreux et aquifères lamellés : Dans les aquifères poreux, l'eau souterraine est soit contenue entre les grains (ex.
PhréatiquePhreatic is a term used in hydrology to refer to aquifers, in speleology to refer to cave passages, and in volcanology to refer to a type of volcanic eruption. The term phreatic (the word originates from the Greek , meaning "well" or "spring") is used in hydrology and the earth sciences to refer to matters relating to ground water (an aquifer) below the water table. The term 'phreatic surface' indicates the location where the pore water pressure is under atmospheric conditions (i.e. the pressure head is zero).
Second-order logicIn logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory. First-order logic quantifies only variables that range over individuals (elements of the domain of discourse); second-order logic, in addition, also quantifies over relations. For example, the second-order sentence says that for every formula P, and every individual x, either Px is true or not(Px) is true (this is the law of excluded middle).
CapillaritéLa capillarité est le phénomène d'interaction qui se produit aux interfaces entre deux liquides non miscibles, entre un liquide et l'air ou entre un liquide et une surface. Elle est due aux forces de tension superficielle entre les différentes phases en présence. On retrouve la capillarité lorsque les buvards aspirent l’encre, les éponges s’imbibent d’eau, ou quand on trempe une partie de son morceau de sucre dans son café et que ce sucre devient tout noir. Une bougie est constituée d'une mèche et de cire ou de stéarine.
Arithmétique du second ordreEn logique mathématique, l'arithmétique du second ordre est une théorie des entiers naturels et des ensembles d'entiers naturels. Elle a été introduite par David Hilbert et Paul Bernays dans leur livre Grundlagen der Mathematik. L'axiomatisation usuelle de l'arithmétique du second ordre est notée Z2. L'arithmétique de second ordre a pour conséquence les théorèmes de l'arithmétique de Peano (du premier ordre), mais elle est à la fois plus forte et plus expressive que celle-ci.
Zone vadoseLa zone vadose ou zone non saturée (ZNS) du sol est la partie du sol ou du sous-sol située à l'interface entre atmosphère-pédosphère et la nappe phréatique. Dans cette zone, les pores du sol sont partiellement remplis d'eau (à l'exception de la frange capillaire) et de gaz (le plus souvent de l'air), contrairement à la zone saturée en eau (ou aquifères), dans laquelle la totalité du système poreux est rempli d'eau. La taille de cette zone dépend très fortement des caractéristiques climatiques, du type de sol et de l'hydrogéologie.
Porous mediumIn materials science, a porous medium or a porous material is a material containing pores (voids). The skeletal portion of the material is often called the "matrix" or "frame". The pores are typically filled with a fluid (liquid or gas). The skeletal material is usually a solid, but structures like foams are often also usefully analyzed using concept of porous media. A porous medium is most often characterised by its porosity. Other properties of the medium (e.g.
Niveau piézométriqueLe niveau, la cote ou la surface piézométrique est l'altitude ou la profondeur (par rapport à la surface du sol) de la limite entre la nappe phréatique et la zone vadose dans une formation aquifère. Ce niveau est mesuré à l'aide d'un piézomètre. La cote piézométrique au point i s'écrit : Cp(i) en mètres (m). Le niveau piézométrique théorique normal moyen en un lieu et à une date donnée dans l'année est le niveau de référence par rapport auquel on dira que la rivière est en situation de crue ou d'étiage, ou que la nappe est rechargée ou en manque d'eau.
É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.
Numerical linear algebraNumerical linear algebra, sometimes called applied linear algebra, is the study of how matrix operations can be used to create computer algorithms which efficiently and accurately provide approximate answers to questions in continuous mathematics. It is a subfield of numerical analysis, and a type of linear algebra. Computers use floating-point arithmetic and cannot exactly represent irrational data, so when a computer algorithm is applied to a matrix of data, it can sometimes increase the difference between a number stored in the computer and the true number that it is an approximation of.
