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.
Variété de PoissonEn géométrie, une structure de Poisson sur une variété différentielle est un crochet de Lie (appelé crochet de Poisson dans ce cas) sur l'algèbre des fonctions lisses de à valeurs réelles, vérifiant formule de Leibniz En d'autres termes, une structure de Poisson est structure d'algèbre de Lie sur l'espace vectoriel des fonctions lisses sur de sorte que est un champ de vecteurs pour toute fonction lisse , appelé champ de vecteurs hamiltonien associé à . Soit une variété différentielle.
Somme (arithmétique)En mathématiques, la somme de deux nombres est le résultat de leur addition. Les éléments additionnés s’appellent les termes de la somme. Elle se calcule de différentes manières selon le système de numération employé. Du fait de la commutativité et de l'associativité de l'addition, la somme d'un ensemble fini de nombres est bien définie indépendamment de l'ordre dans lequel est faite l'addition, mais il n'existe pas toujours de formule réduite pour l'exprimer.
Formule sommatoire de PoissonLa formule sommatoire de Poisson (parfois appelée resommation de Poisson) est une identité entre deux sommes infinies, la première construite avec une fonction , la seconde avec sa transformée de Fourier . Ici, f est une fonction sur la droite réelle ou plus généralement sur un espace euclidien. La formule a été découverte par Siméon Denis Poisson. Elle, et ses généralisations, sont importantes dans plusieurs domaines des mathématiques, dont la théorie des nombres, l'analyse harmonique, et la géométrie riemannienne.
Processus de Poissonvignette|Schéma expliquant le processus de Poisson Un processus de Poisson, nommé d'après le mathématicien français Siméon Denis Poisson et la loi du même nom, est un processus de comptage classique dont l'équivalent discret est la somme d'un processus de Bernoulli. C'est le plus simple et le plus utilisé des processus modélisant une . C'est un processus de Markov, et même le plus simple des processus de naissance et de mort (ici un processus de naissance pur).
Q-theta functionIn mathematics, the q-theta function (or modified Jacobi theta function) is a type of q-series which is used to define elliptic hypergeometric series. It is given by where one takes 0 ≤ |q| < 1. It obeys the identities It may also be expressed as: where is the q-Pochhammer symbol.
Fonction thêtaEn mathématiques, on appelle fonctions thêta certaines fonctions spéciales d'une ou de plusieurs variables complexes. Elles apparaissent dans plusieurs domaines, comme l'étude des variétés abéliennes, des espaces de modules, et les formes quadratiques. Elles ont aussi des applications à la théorie des solitons. Leurs généralisations en algèbre extérieure apparaissent dans la théorie quantique des champs, plus précisément dans la théorie des cordes et des D-branes.
Lexical definitionThe lexical definition of a term, also known as the dictionary definition, is the definition closely matching the meaning of the term in common usage. As its other name implies, this is the sort of definition one is likely to find in the dictionary. A lexical definition is usually the type expected from a request for definition, and it is generally expected that such a definition will be stated as simply as possible in order to convey information to the widest audience.
Loi de PoissonEn théorie des probabilités et en statistiques, la loi de Poisson est une loi de probabilité discrète qui décrit le comportement du nombre d'événements se produisant dans un intervalle de temps fixé, si ces événements se produisent avec une fréquence moyenne ou espérance connue, et indépendamment du temps écoulé depuis l'événement précédent. gauche|vignette|Chewing gums sur un trottoir. Le nombre de chewing gums sur un pavé est approximativement distribué selon une loi de Poisson.
Série génératriceEn mathématiques, et notamment en analyse et en combinatoire, une série génératrice (appelée autrefois fonction génératrice, terminologie encore utilisée en particulier dans le contexte de la théorie des probabilités) est une série formelle dont les coefficients codent une suite de nombres (ou plus généralement de polynômes) ; on dit que la série est associée à la suite. Ces séries furent introduites par Abraham de Moivre en 1730, pour obtenir des formules explicites pour des suites définies par récurrence linéaire.
Circular definitionA circular definition is a type of definition that uses the term(s) being defined as part of the description or assumes that the term(s) being described are already known. There are several kinds of circular definition, and several ways of characterising the term: pragmatic, lexicographic and linguistic. Circular definitions are related to Circular reasoning in that they both involve a self-referential approach. Circular definitions may be unhelpful if the audience must either already know the meaning of the key term, or if the term to be defined is used in the definition itself.
Définition des planètesvignette|Photographie de la planète Neptune (en grand) et de sa lune Triton (en petit), prise par Voyager 2 lors de sa sortie de la partie planétaire du Système solaire. Depuis sa création afin de décrire les « étoiles errantes » de l'époque classique, la définition des planètes est empreinte d'ambigüité. Durant sa longue utilisation, le mot a eu différentes significations, souvent équivalentes.
