Conservative systemIn mathematics, a conservative system is a dynamical system which stands in contrast to a dissipative system. Roughly speaking, such systems have no friction or other mechanism to dissipate the dynamics, and thus, their phase space does not shrink over time. Precisely speaking, they are those dynamical systems that have a null wandering set: under time evolution, no portion of the phase space ever "wanders away", never to be returned to or revisited. Alternately, conservative systems are those to which the Poincaré recurrence theorem applies.
Multiplicative groupIn mathematics and group theory, the term multiplicative group refers to one of the following concepts: the group under multiplication of the invertible elements of a field, ring, or other structure for which one of its operations is referred to as multiplication. In the case of a field F, the group is (F ∖ {0}, •), where 0 refers to the zero element of F and the binary operation • is the field multiplication, the algebraic torus GL(1).. The multiplicative group of integers modulo n is the group under multiplication of the invertible elements of .
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.
Grails (technique)Grails est un framework open source de développement agile d'applications web basé sur le langage Groovy et sur le patron de conception Modèle-Vue-Contrôleur. Grails est la contraction de Groovy (car le framework est basé sur le langage Groovy) on Rails (pour exprimer le fait qu'il s'agit d'un framework de développement rapide), destiné à produire un jeu de mots faisant allusion au Graal (Grail en anglais), et faisant echo à Ruby on Rails. Grails est basé sur cinq principes fondamentaux : Ne pas se répéter : les éléments de l'application ne doivent être qu'à un seul endroit.
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.
Géométrisation des 3-variétésEn géométrie, la conjecture de géométrisation de Thurston affirme que les 3-variétés compactes peuvent être décomposées en sous-variétés admettant l'une des huit structures géométriques appelées géométries de Thurston. Formulée par William Thurston en 1976, cette conjecture fut démontrée par Grigori Perelman en 2003. On dit qu'une variété est fermée si elle est compacte et sans bord, et qu'elle est si elle n'est pas somme connexe de variétés qui ne sont pas des sphères.
Proof of impossibilityIn mathematics, a proof of impossibility is a proof that demonstrates that a particular problem cannot be solved as described in the claim, or that a particular set of problems cannot be solved in general. Such a case is also known as a negative proof, proof of an impossibility theorem, or negative result. Proofs of impossibility often are the resolutions to decades or centuries of work attempting to find a solution, eventually proving that there is no solution.
