Outilthumb|Une boîte à outils en bois des années 1950. Un outil est un objet physique utilisé par un être vivant directement, ou par l'intermédiaire d'une machine, afin d'exercer une action le plus souvent mécanique, ou thermique, sur un élément d'environnement à traiter (matière brute, objet fini ou semi-fini, être vivant, etc). Il améliore l'efficacité des actions entreprises ou donne accès à des actions impossibles autrement. Beaucoup procurent un avantage mécanique en fonctionnant selon le principe d'une machine simple, comme la pince-monseigneur, qui exploite le principe du levier.
Évariste GaloisÉvariste Galois est un mathématicien français, né le à Bourg-Égalité (aujourd’hui Bourg-la-Reine) et mort le à Paris. Son nom a été donné à une branche des mathématiques dont il a posé les prémices, la théorie de Galois. Il est un précurseur dans la mise en évidence de la notion de groupe et un des premiers à expliciter la correspondance entre symétries et invariants. Sa « théorie de l'ambiguïté » est toujours féconde au .
Fonction pseudo-aléatoireUne fonction pseudo-aléatoire (ou PRF pour pseudorandom function) est une fonction dont l'ensemble des sorties possibles n'est pas efficacement distinguable des sorties d'une fonction aléatoire. Il ne faut pas confondre cette notion avec celle de générateur de nombres pseudo-aléatoires (PRNG). Une fonction qui est un PRNG garantit seulement qu'une de ses sorties prise seule semble aléatoire si son entrée a été choisie aléatoirement. En revanche, une fonction pseudo-aléatoire garantit cela pour toutes ses sorties, indépendamment de la méthode de choix de l'entrée.
Théorie de Galois différentielleLa théorie de Galois différentielle est une branche des mathématiques qui a pour objet l'étude des équations différentielles via des méthodes algébriques, plus particulièrement des méthodes issues de la théorie de Galois pour les équations algébriques. Elle admet plusieurs formulations différentes. La plus élémentaire est la . Elle concerne les équations différentielles linéaires, et consiste en la construction d'une théorie des extensions des corps différentiels analogue à la théorie classique des extensions de corps : l'exemple de base est le corps des fractions rationnelles à coefficients complexes, muni de la dérivation usuelle.
Ordre (théorie des anneaux)En mathématiques, un ordre au sens de la théorie des anneaux est un sous-anneau O d'un anneau A tel que l'anneau A est une algèbre de dimension finie sur le corps Q des nombres rationnels, O engendre A sur Q, si bien que QO = A et O est un Z- dans A (c'est-à-dire un Z-sous-module de type fini sans torsion). Les deux dernières conditions signifient qu'additivement, O est un groupe abélien libre engendré par une base du Q-espace vectoriel A.
Serpent (cryptographie)Serpent est un algorithme de chiffrement par bloc finaliste pour le concours AES. Il obtiendra finalement la (59 votes contre 86 votes pour Rijndael). Serpent a été conçu par , Eli Biham et Lars Knudsen. Tout comme les autres candidats pour AES, Serpent a une taille de bloc de 128 bits et supporte des clés de 128, 192 ou 256 bits, mais également d'autres longueurs inférieures (multiple de 8 bits). L'algorithme comporte 32 tours d'un réseau de substitution-permutation opérant sur quatre mots de 32 bits.
Permutation circulaireEn mathématiques, une permutation circulaire ou cycle est un cas particulier de permutation. Une permutation circulaire agit comme un décalage circulaire pour un certain nombre d'éléments, et laisse tous les autres inchangés. Les permutations circulaires permettent d'illustrer le fonctionnement général des permutations, puisqu'une permutation quelconque se décompose en un produit de cycles fonctionnant de manière indépendante. Soit un entier k ≥ 2. Une permutation est un k-cycle, ou permutation circulaire de longueur k, s'il existe des éléments a1, .
Signature d'une permutationEn mathématiques, une permutation de support fini est dite paire si elle présente un nombre pair d'inversions, impaire sinon. La signature d'une permutation vaut 1 si celle-ci est paire, –1 si elle est impaire. L'application signature, du groupe symétrique dans le groupe ({–1, 1}, ×), est un morphisme, c'est-à-dire qu'elle vérifie une propriété analogue à la règle des signes. Toute permutation se décompose en un produit de transpositions.
Correspondance de GaloisEn mathématiques, une correspondance de Galois antitone est une généralisation, pour deux ordres partiels quelconques, de la correspondance entre sous-corps d'une extension galoisienne et sous-groupes de son groupe de Galois. Une correspondance de Galois isotone se définit de façon analogue, en inversant l'ordre sur le deuxième ensemble. Cette notion est reliée à celle d'opérateur de clôture. Soient et des fonctions définies sur deux ensembles ordonnés et . On vérifie facilement l'équivalence des deux définitions suivantes.
Groupe de Galois absoluEn mathématiques, le groupe de Galois absolu d'un corps commutatif K est le groupe de Galois d'une clôture séparable (extension algébrique séparable maximale, nécessairement normale donc galoisienne) Ksep du corps K. Dans le cas d'un corps parfait (et donc en particulier en caractéristique nulle), une clôture séparable coïncide avec une clôture algébrique. La compréhension du groupe de Galois absolu du corps des nombres rationnels est un problème important en théorie algébrique des nombres.
