Polynôme d'AlexanderEn mathématiques, et plus précisément en théorie des nœuds, le polynôme d'Alexander est un invariant de nœuds qui associe un polynôme à coefficients entiers à chaque type de nœud. C'est le premier découvert ; il l'a été par James Waddell Alexander II, en 1923. En 1969, John Conway en montra une version, appelée à présent le polynôme d'Alexander-Conway, pouvant être calculé à l'aide d'une « » (skein relation), mais l'importance n'en fut pas comprise avant la découverte du polynôme de Jones en 1984.
Knot polynomialIn the mathematical field of knot theory, a knot polynomial is a knot invariant in the form of a polynomial whose coefficients encode some of the properties of a given knot. The first knot polynomial, the Alexander polynomial, was introduced by James Waddell Alexander II in 1923. Other knot polynomials were not found until almost 60 years later. In the 1960s, John Conway came up with a skein relation for a version of the Alexander polynomial, usually referred to as the Alexander–Conway polynomial.
Invariant de nœudsthumb|Les deux nœuds sont équivalents, leur invariant est donc identique. En théorie des nœuds, un invariant de nœuds est une quantité définie pour chaque nœud qui est la même pour tous les nœuds équivalents. On parlera d'équivalence lorsqu'on peut passer d'un nœud à un autre par un ensemble de mouvements de Reidemeister. Ces invariants topologiques peuvent être de tout type : des booléens, des scalaires, des polynômes (polynôme d'Alexander, le polynôme de Jones, le ) ou encore le groupe fondamental du complément d'un nœud, les de Vassiliev et l'.
HOMFLY polynomialIn the mathematical field of knot theory, the HOMFLY polynomial or HOMFLYPT polynomial, sometimes called the generalized Jones polynomial, is a 2-variable knot polynomial, i.e. a knot invariant in the form of a polynomial of variables m and l. A central question in the mathematical theory of knots is whether two knot diagrams represent the same knot. One tool used to answer such questions is a knot polynomial, which is computed from a diagram of the knot and can be shown to be an invariant of the knot, i.e.
Polynôme de JonesLe polynôme de Jones en théorie des nœuds est un invariant polynomial des nœuds (incomplet) introduit par Vaughan Jones en 1984. Plus précisément, c'est un invariant d'un nœud orienté ou d'un entrelacs orienté, qui est un polynôme de Laurent à coefficients entiers en la variable . Le polynôme de Jones est caractérisé par le fait qu'il prend la valeur 1 pour le nœud trivial et vérifie la « » (skein relation) suivante : où , et sont des diagrammes d'entrelacs orientés qui ne diffèrent que dans une petite région de la façon suivante center|200px Le polynôme de Jones, contrairement au polynôme d'Alexander, permet parfois de distinguer un nœud de son image par un miroir.
Quantum invariantIn the mathematical field of knot theory, a quantum knot invariant or quantum invariant of a knot or link is a linear sum of colored Jones polynomial of surgery presentations of the knot complement. Finite type invariant Kontsevich invariant Kashaev's invariant Witten–Reshetikhin–Turaev invariant (Chern–Simons) Invariant differential operator Rozansky–Witten invariant Vassiliev knot invariant Dehn invariant LMO invariant Turaev–Viro invariant Dijkgraaf–Witten invariant Reshetikhin–Turaev invariant Tau-inva
Théorie des invariantsEn mathématiques, la théorie des invariants, initiée et développée en particulier par Arthur Cayley, James Joseph Sylvester, Charles Hermite, Paul Gordan et de nombreux autres mathématiciens, est l'étude des invariants des formes algébriques (de façon équivalente, des tenseurs symétriques) pour les actions de groupe lors des transformations linéaires. À la fin du , elle est au centre d'un important effort de recherche lorsqu'il apparaît qu'elle pourrait être la clé de voûte en algorithmique (en compétition avec d'autres formulations mathématiques de l'invariance de la symétrie).
AlgèbreL'algèbre (de l’arabe الجبر, al-jabr) est une branche des mathématiques qui permet d'exprimer les propriétés des opérations et le traitement des équations et aboutit à l'étude des structures algébriques. Selon l’époque et le niveau d’études considérés, elle peut être décrite comme : une arithmétique généralisée, étendant à différents objets ou grandeurs les opérations usuelles sur les nombres ; la théorie des équations et des polynômes ; depuis le début du , l’étude des structures algébriques (on parle d'algèbre générale ou abstraite).
Polynôme de TutteLe polynôme de Tutte, aussi appelé polynôme dichromatique ou polynôme de Tutte–Whitney, est un polynôme invariant de graphes dont les valeurs expriment des propriétés d'un graphe. C'est un polynôme en deux variables qui joue un rôle important en théorie des graphes et en combinatoire. Il est défini pour tout graphe non orienté et contient des informations liées à ses propriétés de connexité. L'importance de ce polynôme provient des informations qu'il contient sur le graphe .
CombinatoireEn mathématiques, la combinatoire, appelée aussi analyse combinatoire, étudie les configurations de collections finies d'objets ou les combinaisons d'ensembles finis, et les dénombrements. La combinatoire est en fait présente dans toute l'antiquité en Inde et en Chine. Donald Knuth, dans le volume 4A « Combinatorial Algorithms » de The Art of Computer Programming parle de la génération de n-uplets ; il dit que la génération de motifs combinatoires «a commencé alors que la civilisation elle-même prenait forme» (« began as civilization itself was taking shape»).
Géométrie algébriqueLa géométrie algébrique est un domaine des mathématiques qui, historiquement, s'est d'abord intéressé à des objets géométriques (courbes, surfaces...) composés des points dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des produits (par exemple le cercle unité dans le plan rapporté à un repère orthonormé admet pour équation ). La simplicité de cette définition fait qu'elle embrasse un grand nombre d'objets et qu'elle permet de développer une théorie riche.
Hypothèse calculatoireEn cryptographie, une hypothèse de difficulté calculatoire est une hypothèse qui sert à évaluer et à démontrer la robustesse des primitives cryptographiques. Dans certains cas, la sécurité est dite inconditionnelle si elle ne repose sur aucune hypothèse de difficulté calculatoire ; un exemple courant est la technique dite du masque jetable, où le masque est aussi grand que le message. Cependant, il est souvent impossible d'atteindre une forme de sécurité aussi forte ; dans de tels cas, les cryptographes doivent s'en remettre à une forme de sécurité dite « calculatoire ».
Programmation impérativeEn informatique, la programmation impérative est un paradigme de programmation qui décrit les opérations en séquences d'instructions exécutées par l'ordinateur pour modifier l'état du programme. Ce type de programmation est le plus répandu parmi l'ensemble des langages de programmation existants, et se différencie de la programmation déclarative (dont la programmation logique ou encore la programmation fonctionnelle sont des sous-ensembles).
Fonction algébriqueEn mathématiques, une fonction algébrique d'indéterminées est une fonction F qui satisfait l'équation non triviale où P est un polynôme à n + 1 variables sur un corps commutatif K. En cela, F est une fonction implicite qui résout une équation algébrique. Un exemple simple serait La classe des fonctions algébriques contient toutes les fonctions rationnelles, mais est plus grande. Du point de vue de l'algèbre générale, il s'agit, pour tout ensemble fixé d'indéterminées, de la clôture algébrique du corps des fonctions rationnelles.
Équation polynomialeEn mathématiques, une équation polynomiale, ou équation algébrique, est une équation de la forme : où P est un polynôme. Voici un exemple d'équation simple avec une seule inconnue : Usuellement, le terme équation polynomiale désigne une équation avec une seule inconnue (notée ici x) : où l'entier naturel n et les , appelés coefficients de l’équation, sont connus. Les coefficients sont le plus souvent des nombres réels ou complexes, mais ils peuvent prendre leurs valeurs dans n’importe quel anneau.
Topologie algébriqueLa topologie algébrique, anciennement appelée topologie combinatoire, est la branche des mathématiques appliquant les outils de l'algèbre dans l'étude des espaces topologiques. Plus exactement, elle cherche à associer de manière naturelle des invariants algébriques aux structures topologiques associées. La naturalité signifie que ces invariants vérifient des propriétés de fonctorialité au sens de la théorie des catégories. L'idée fondamentale est de pouvoir associer à tout espace topologique des objets algébriques (nombre, groupe, espace vectoriel, etc.
Programmation fonctionnelleLa programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques. Comme le changement d'état et la mutation des données ne peuvent pas être représentés par des évaluations de fonctions la programmation fonctionnelle ne les admet pas, au contraire elle met en avant l'application des fonctions, contrairement au modèle de programmation impérative qui met en avant les changements d'état.
Programmation procéduraleEn informatique, la programmation procédurale est un paradigme qui se fonde sur le concept d'appel procédural. Une procédure, aussi appelée routine, sous-routine ou fonction (à ne pas confondre avec les fonctions de la programmation fonctionnelle reposant sur des fonctions mathématiques), contient simplement une série d'étapes à réaliser. N'importe quelle procédure peut être appelée à n'importe quelle étape de l'exécution du programme, y compris à l'intérieur d'autres procédures, voire dans la procédure elle-même (récursivité).
Algèbre généraleL'algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l'étude des structures algébriques et de leurs relations. L'appellation algèbre générale s'oppose à celle d'algèbre élémentaire ; cette dernière enseigne le calcul algébrique, c'est-à-dire les règles de manipulation des formules et des expressions algébriques. Historiquement, les structures algébriques sont apparues dans différents domaines des mathématiques, et n'y ont pas été étudiées séparément.
Logique algébriqueEn logique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres. Ce qui est maintenant généralement appelé la logique algébrique classique se concentre sur l'identification et la description algébrique des modèles adaptés à l'étude de différentes logiques (sous la forme de classes d'algèbres qui constituent la sémantique algébrique de ces systèmes déductifs) et aux problèmes connexes, comme la représentation et la dualité.
