Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Zone à faibles émissionsUne zone à faibles émissions (ZFE) , anciennement dénommée en France zone à circulation restreinte (ZCR), est une zone urbaine dont l'accès est réservé aux véhicules les moins polluants. Elles se trouvent principalement en Europe et en Asie mais leur mise en place est également en projet ou à l'étude dans d'autres parties du monde. En France, l'accès à ces zones est déterminé par les certificats qualité de l'air, plus connus sous le nom de vignette « Crit'Air », y compris pour les véhicules étrangers.
MaïsLe maïs (Zea mays L., ou Zea mays subsp. mays (autonyme)), appelé blé d’Inde au Canada, est une plante herbacée tropicale annuelle de la famille des Poacées (graminées), largement cultivée comme céréale pour ses grains riches en amidon, mais aussi comme plante fourragère. Le terme désigne aussi le grain de maïs lui-même. Cette espèce, originaire du Mexique, constituait l'aliment de base des Amérindiens avant l'arrivée en Amérique de Christophe Colomb.
Potentiel hydrogèneLe potentiel hydrogène, noté pH, est une mesure de l'activité chimique des protons ou ions hydrogène en solution. Notamment, en solution aqueuse, ces ions sont présents sous forme d'ions hydronium (ion hydraté, ou ). Le pH sert à mesurer l’acidité ou la basicité d’une solution. Ainsi, dans un milieu aqueux à : une solution de pH = 7 est dite neutre ; une solution de pH < 7 est dite acide ; plus son pH diminue, plus elle est acide ; une solution de pH > 7 est dite basique ; plus son pH augmente, plus elle est basique.
Zo peopleThe Zo people are an ethnic group which inhabit areas of India, Myanmar and the Chittagong hill tracts of Bangladesh. The word Zohnatlâk/Zo is used to describe an ethnic group, which is also known as the Chin, the Mizo, the Kuki, or a number of other names based on geographic distribution, that speaks the Kuki-Chin languages. They are from same origin which is known as Sinlung (also known as Chhinlung, Khur, Khul, etc,.).
Plug-in electric vehicleA plug-in electric vehicle (PEV) is any road vehicle that can utilize an external source of electricity (such as a wall socket that connects to the power grid) to store electrical energy within its onboard rechargeable battery packs, to power an electric motor and help propelling the wheels. PEV is a subset of electric vehicles, and includes all-electric/battery electric vehicles (BEVs) and plug-in hybrid electric vehicles (PHEVs).
PH-mètreUn pH-mètre est un appareil, souvent électronique, permettant la mesure du pH d'une solution. Le pH-mètre est généralement constitué d'un boîtier électronique permettant l'affichage de la valeur numérique du pH et d'une sonde de pH constituée d'une électrode de verre permettant la mesure et d'une électrode de référence. Son fonctionnement est basé sur le rapport qui existe entre la concentration en ions (définition du pH) et la différence de potentiel électrochimique qui s'établit dans le pH-mètre une fois plongé dans la solution étudiée.
Indicateur de pHNote : le terme « indicateur coloré » désigne un « indicateur coloré de pH » dans cet article. Les indicateurs colorés de pH (ou indicateurs acide-base) sont des molécules qui ont la capacité de changer de couleur en fonction de l’acidité (au sens de Brønsted) de leur milieu environnant. La propriété qui lie couleur apparente et pH est appelée halochromisme. Par extension, l'indicateur de pH est un détecteur chimique de l'ion hydronium (ou oxonium) H3O+.
Gerd FaltingsGerd Faltings, né le à Gelsenkirchen, est un mathématicien allemand connu pour son travail en géométrie algébrique. Il étudie les mathématiques et la physique de 1972 à 1978 à l'université de Münster, où il obtient son doctorat de mathématiques en 1978, puis son habilitation de mathématiques en 1981, après un an à Harvard grâce à une Studienstiftung (bourse d'études très sélective). Durant les années 1978-1981, il est professeur assistant à Münster. Puis il est professeur à l' de 1982 à 1984, et à Princeton de 1985 à 1994.
Théorème de Faltingsvignette|Gerd Faltings. En théorie des nombres, le théorème de Faltings, précédemment connu sous le nom de conjecture de Mordell donne des résultats sur le nombre de solutions d'une équation diophantienne. Il a été conjecturé par le mathématicien anglais Louis Mordell en 1922 et démontré par Gerd Faltings en 1983, soit environ soixante ans après que la conjecture fut posée. Soit l'équation définie de la manière suivante : avec P un polynôme à coefficients rationnels.
