Théorème d'OstrowskiEn mathématiques, le théorème d'Ostrowski est un théorème de théorie des nombres démontré en 1916 par Alexander Ostrowski, d'après lequel toute valeur absolue non triviale sur le corps Q des rationnels est équivalente soit à la valeur absolue usuelle, soit à l'une des valeurs absolues p-adiques. Plus précisément et plus généralement, le théorème d'Ostrowski énonce que les seules valeurs absolues non ultramétriques sur un corps K sont (s'il en existe) les applications de la forme x ↦ |f(x)|, où f est un plongement de K dans le corps des complexes, et 0 < c ≤ 1.
Primality certificateIn mathematics and computer science, a primality certificate or primality proof is a succinct, formal proof that a number is prime. Primality certificates allow the primality of a number to be rapidly checked without having to run an expensive or unreliable primality test. "Succinct" usually means that the proof should be at most polynomially larger than the number of digits in the number itself (for example, if the number has b bits, the proof might contain roughly b2 bits).
Logarithme intégralEn mathématiques, le logarithme intégral li est une fonction spéciale définie en tout nombre réel strictement positif x ≠ 1 par l'intégrale : où ln désigne le logarithme népérien. La fonction n'est pas définie en t = 1, et l'intégrale pour x > 1 doit être interprétée comme la valeur principale de Cauchy : Quand x tend vers +∞, on a l'équivalence c'est-à-dire que D'après le théorème des nombres premiers, la fonction de compte des nombres premiers π(x) est équivalente à x/ln(x), donc à li(x), qui en fournit par ailleurs une meilleure approximation.
Marin MersenneMarin Mersenne (1588-1648), connu également sous son patronyme latinisé Marinus Mersenius, est un religieux français de l'ordre des Minimes, érudit, physicien, mathématicien et philosophe. On lui doit les premières lois de l'acoustique (lois de Mersenne) et, concomitamment avec Galilée, les premières formules de la loi de la chute des corps. Ecclésiastique à la culture encyclopédique et aux centres d'intérêt multiples, il fut l'une des figures centrales des érudits de son temps et, selon de Waard, le « secrétaire général de l'Europe savante ».
Nombre premier probableEn arithmétique modulaire, un nombre premier probable est un entier naturel qui satisfait à une condition (nécessaire mais pas suffisante) qui est satisfaite aussi par tous les nombres premiers. Les nombres premiers probables qui se révèlent finalement non premiers (c'est-à-dire composés) sont appelés pseudo-premiers. Il en existe une infinité, mais ils restent cependant rares pour chaque condition utilisée.
Nombres premiers cousinsEn mathématiques, les nombres premiers cousins sont les paires de nombres premiers qui diffèrent de 4. Ils se rapprochent ainsi des nombres premiers jumeaux, les paires de nombres premiers qui diffèrent de 2, et des nombres premiers sexy, les paires de nombres premiers qui diffèrent de 6.
Roger Heath-BrownDavid Rodney « Roger » Heath-Brown, né le à Hampstead, est un mathématicien britannique, spécialiste de théorie analytique des nombres. Heath-Brown a fait ses études au Trinity College de Cambridge, où il a obtenu le prix Smith en 1976 et soutenu en 1979 une thèse, dirigée par Alan Baker. Il est professeur de mathématiques pures à l'université d'Oxford. Timothy Browning et James Maynard ont fait partie de ses étudiants de thèse. Heath-Brown est connu pour ses nombreuses contributions à la théorie analytique des nombres.
Théorème des deux carrés de Fermatthumb|Pierre de Fermat (1601-1665). En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c'est-à-dire de deux carrés d’entiers) et précise de combien de façons différentes il peut l’être. Par exemple, selon ce théorème, un nombre premier impair (c'est-à-dire tous les nombres premiers sauf 2) est une somme de deux carrés parfaits si et seulement si le reste de sa division euclidienne par 4 est 1 ; dans ce cas, les carrés sont déterminés de manière unique.
Jacques HadamardJacques Salomon Hadamard, né le à Versailles et mort le à Paris, est un mathématicien français, connu pour ses travaux en théorie des nombres, en analyse complexe, en analyse fonctionnelle, en géométrie différentielle et en théorie des équations aux dérivées partielles. Jacques Salomon Hadamard est né, en 1865, dans une famille juive française. Son père, Amédée Hadamard (1828-1888), originaire de la Moselle, était professeur d'histoire, de grammaire et de littérature classique au lycée impérial de Versailles, puis au lycée Charlemagne à Paris.
Nombre premier régulierEn mathématiques, un nombre premier p > 2 est dit régulier si une certaine propriété liée aux racines du polynôme X – 1 est vérifiée. Cette notion a été introduite par Ernst Kummer en 1847, en vue de démontrer le « dernier théorème de Fermat », dans un article intitulé . Un nombre premier impair p est dit régulier s'il ne divise pas le nombre de classes du corps cyclotomique Q(ζp), où ζp est une racine primitive p-ième de l'unité.