Inversion de prioritéL'inversion de priorité est un phénomène qui peut se produire en programmation concurrente. Il s'agit d'une situation dans laquelle un processus de haute priorité ne peut pas avoir accès au processeur car il est utilisé par un processus de plus faible priorité. Pour les exemples, nous utiliseront des tâches A, B, et C, A ayant la plus forte priorité, C la plus faible, et B une priorité intermédiaire, et un mutex X qui sert à gérer une ressource partagée entre la tâche A et la tâche C.
Théorème de l'idéal principalEn mathématiques, le théorème de l'idéal principal en théorie des corps de classes, assure que tout idéal de l'anneau des entiers d'un corps de nombres K, vu comme idéal de l'anneau des entiers du corps de classes de Hilbert de K, est principal. Plus précisément : les extensions abéliennes, et les extensions non ramifiées, sont stables par compositum. Il existe donc une extension abélienne non ramifiée maximale L de K, appelée le corps de classes de Hilbert de K ; pour tout idéal I de l'anneau OK des entiers de K, l'idéal IOL de OL est principal.
Conjecture des jeux uniquesLa conjecture des jeux uniques (en anglais Unique Games Conjecture et souvent abrégée UGC) est une conjecture en théorie de la complexité, proposée par Subhash Khot en 2002. Selon cette conjecture, résoudre de manière approximative un certain problème spécifique est NP-difficile. Elle a d'importantes applications relatives à la complexité des algorithmes d'approximation ; le travail qui a été fourni autour de cette conjecture a également permis de démontrer des résultats relatifs à d'autres sujets, par exemple sur la stabilité des systèmes de vote.
Division par zéroLa division par zéro consiste à chercher le résultat qu'on obtiendrait en prenant zéro comme diviseur. Ainsi, une division par zéro s'écrirait x/0, où x serait le dividende (ou numérateur). Dans les définitions usuelles de la multiplication, cette opération n'a pas de sens : elle contredit notamment la définition de la multiplication en tant que seconde loi de composition d'un corps, car zéro (l'élément neutre de l'addition) est un élément absorbant pour la multiplication. La division par zéro donne l'infini.
Ordonnancement de travaux informatiquesIl s'agit de l'automatisation de traitement d'une tâche informatique. Concerne exclusivement la manière de lancer des traitements ("batch") sur un ou plusieurs composants de son système d'information au moyen de progiciels spécifiques. Ces progiciels allient la théorie de l'ordonnancement avec des techniques propres à l'informatique (queues de traitements, gestion de fichiers, équilibrage de charge...). Dans la littérature, est généralement associé au mode dit "évènementiel".
J-invariantLe j-invariant, parfois appelé fonction j, est une fonction introduite par Felix Klein pour l'étude des courbes elliptiques, qui a depuis trouvé des applications au-delà de la seule géométrie algébrique, par exemple dans l'étude des fonctions modulaires, de la théorie des corps de classes et du monstrous moonshine. On travaille dans le . Soient quatre points distincts , leur birapport est : Cette quantité est invariante par homographies du plan, mais dépend de l'ordre des quatre nombres considérés.
Algorithme rho de PollardEn arithmétique modulaire, l’algorithme rho de Pollard est un algorithme de décomposition en produit de facteurs premiers spécifique qui est seulement effectif pour factoriser les entiers naturels avec de petits facteurs. Il fut conçu par John M. Pollard en 1975. Il est utilisé en cryptologie. Le succès le plus remarquable de l'algorithme rho a été la factorisation du huitième nombre de Fermat par Pollard et Brent, ce dernier ayant proposé une version améliorée de l'algorithme.
Diophante d'AlexandrieDiophante d'Alexandrie (en grec ancien : Διόφαντος ὁ Ἀλεξανδρεύς Dióphantos ho Alexandreús) était un mathématicien de langue grecque qui a vécu à Alexandrie entre le et le , peut-être au ou au . Connu pour ses Arithmétiques, ouvrage dont une partie est aujourd'hui perdue, et où il étudie certaines équations diophantiennes, il est parfois surnommé le « père de l'algèbre ». On ne connaît rien ou à peu près de la vie de Diophante, même l'époque à laquelle il a vécu reste très incertaine. Il vécut à Alexandrie.
Norme (théorie des corps)En théorie des corps (commutatifs), la norme d'un élément α d'une extension finie L d'un corps K est le déterminant de l'endomorphisme linéaire du K-espace vectoriel L qui, à x, associe αx. C'est un homomorphisme multiplicatif. La notion est utilisée en théorie de Galois et en théorie algébrique des nombres. En arithmétique, elle intervient de façon cruciale dans la théorie des corps de classes : les sous-extensions abéliennes d'une extension donnée sont essentiellement en correspondance avec des groupes de normes, c'est-à-dire l'image dans K, par la norme, de certains groupes de L.
P-adic valuationIn number theory, the p-adic valuation or p-adic order of an integer n is the exponent of the highest power of the prime number p that divides n. It is denoted . Equivalently, is the exponent to which appears in the prime factorization of . The p-adic valuation is a valuation and gives rise to an analogue of the usual absolute value. Whereas the completion of the rational numbers with respect to the usual absolute value results in the real numbers , the completion of the rational numbers with respect to the -adic absolute value results in the p-adic numbers .
