Programme de HamiltonLe programme de Hamilton est un « plan d'attaque », proposé par Richard S. Hamilton, de certains problèmes en topologie des variétés, notamment la célèbre conjecture de Poincaré. Cet article tente de décrire les raisons d'être de ce programme sans entrer dans les détails. Dans son article fondateur de 1982, Three-manifolds with positive Ricci curvature, Richard S. Hamilton introduit le flot de Ricci nommé d'après le mathématicien Gregorio Ricci-Curbastro.
Conjecture de PoincaréLa conjecture de Poincaré est une conjecture mathématique du domaine de la topologie algébrique portant sur la caractérisation d'une variété particulière, la sphère de dimension trois ; elle fut démontrée en 2003 par le Russe Grigori Perelman. On peut ainsi également l'appeler théorème de Perelman. Elle faisait jusqu'alors partie des problèmes de Smale et des sept « problèmes du prix du millénaire » recensés et mis à prix en 2000 par l'Institut de mathématiques Clay.
Rotation de la Terrevignette|Animation montrant la rotation de la Terre vers l'Est. thumb|Cette photographie en pose longue du ciel nocturne dans l’hémisphère nord au-dessus de l’Himalaya népalais montre les trajectoires apparentes des étoiles lors de la rotation de la Terre. La rotation de la Terre est le mouvement de la Terre sur elle-même autour de l'axe des pôles géographiques qui relie le pôle Nord au pôle Sud. Il a été énoncé pour la première fois par l’astronome grec Philolaos de Crotone, au De plus, la Terre, comme chaque planète du système solaire, tourne autour du Soleil, dans un mouvement appelé la révolution.
Matrice de rotationEn mathématiques, et plus précisément en algèbre linéaire, une matrice de rotation Q est une matrice orthogonale de déterminant 1, ce qui peut s'exprimer par les équations suivantes : QtQ = I = QQt et det Q = 1, où Qt est la matrice transposée de Q, et I est la matrice identité. Ces matrices sont exactement celles qui, dans un espace euclidien, représentent les isométries (vectorielles) directes.
Logique temporelle linéaireEn logique, la logique temporelle linéaire (LTL) est une logique temporelle modale avec des modalités se référant au temps. En LTL, on peut coder des formules sur l'avenir d'un chemin infini dans un système de transitions, par exemple une condition finira par être vraie, une condition sera vraie jusqu'à ce qu'une autre devienne vraie, etc. Cette logique est plus faible que la logique CTL*, qui permet d'exprimer des conditions sur des ramifications de chemins et pas seulement sur un seul chemin.
Évolution stellaireL'évolution d'une étoile, ou évolution stellaire, désigne l'ensemble des phénomènes allant de la formation à la d'une étoile. Elle peut être décomposée en plusieurs phases principales dont la formation de l'étoile, son séjour sur la séquence principale et sa phase finale. Durant sa vie, une étoile émet des particules et des rayonnements électromagnétiques (dont une partie sous forme de rayonnements visibles) grâce à l'énergie dégagée par les réactions de fusion nucléaire produites dans les zones internes de l'étoile.
Mécanique hamiltonienneLa mécanique hamiltonienne est une reformulation de la mécanique newtonienne. Son formalisme a facilité l'élaboration théorique de la mécanique quantique. Elle a été formulée par William Rowan Hamilton en 1833 à partir des équations de Lagrange, qui reformulaient déjà la mécanique classique en 1788. En mécanique lagrangienne, les équations du mouvement d'un système à N degrés de liberté dépendent des coordonnées généralisées et des vitesses correspondantes , où .
Moment cinétiqueEn mécanique classique, le moment cinétique (ou moment angulaire par anglicisme) d'un point matériel M par rapport à un point O est le moment de la quantité de mouvement par rapport au point O, c'est-à-dire le produit vectoriel : Le moment cinétique d'un système matériel est la somme des moments cinétiques (par rapport au même point O) des points matériels constituant le système : Cette grandeur, considérée dans un référentiel galiléen, dépend du choix de l'origine O, par suite, il n'est pas possible de com
Défaut topologiqueEn cosmologie, un défaut topologique est une configuration souvent stable de matière que certaines théories prédisent avoir été formée lors des transitions de phase de l'univers primitif. Selon la nature des brisures de symétrie, on suppose la formation de nombreux solitons au travers du mécanisme de Brout-Englert-Higgs-Hagen-Guralnik-Kibble. Les défauts topologiques les plus courants sont les monopôles magnétiques, les cordes cosmiques, les murs de domaine, les skyrmions et les textures.
Inclusion (mathématiques)En mathématiques, l’inclusion est une relation d'ordre entre ensembles. On dit qu'un ensemble A est inclus dans un ensemble B si tous les éléments de A sont aussi éléments de B. On dit dans ce cas que A est un sous-ensemble ou une partie de B, ou encore que B est sur-ensemble de A. Cette relation n'est pas symétrique a priori, car il peut y avoir des éléments du deuxième ensemble qui n'appartiennent pas au premier. Plus précisément, il y a inclusion dans les deux sens entre deux ensembles si et seulement si ces deux ensembles sont égaux.
List of mathematical jargonThe language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in lectures, and sometimes in print, as informal shorthand for rigorous arguments or precise ideas. Much of this is common English, but with a specific non-obvious meaning when used in a mathematical sense. Some phrases, like "in general", appear below in more than one section.
MinéralurgieMinéralurgie est un terme créé à la fin du sur le modèle du mot métallurgie par Hassenfratz pour désigner l'ensemble des opérations de préparation mécanique des minerais. Au , on parlait aussi d'enrichissement des minerais pour désigner cette succession d'opérations qui permet de passer du minerai brut au minerai marchand. Aujourd'hui, l'objet de la minéralurgie est d’extraire, à partir des matières premières minérales, , dans des conditions économiques données et dans un site où il conviendra de respecter l'environnement.
