Liste de publications importantes en mathématiques

• Baudhayana (en) (VIII^e siècle av. J.-C.)

Écrit aux alentours du VIII^e siècle av. J.-C., c'est l'un des textes géométriques les plus anciens. Il a posé les bases des mathématiques indiennes et a été influant en Asie du Sud et de ses régions environnantes, et peut-être même la Grèce. Bien que ce fût d'abord un texte géométrique, il contenait également quelques développements algébriques importants, y compris la première liste des triplets pythagoriciens découverts algébriquement, des solutions géométriques d'équations linéaires, la première utilisation des équations du second degré de formes ax² = c et ax² + bx = c, et des solutions intégrales d'équations diophantiennes jusqu'à quatre inconnues.

• Les Neuf Chapitres sur l'art mathématique du X^e – II^e siècle avant notre ère.

Contient la première description de l'élimination de Gauss-Jordan pour une résolution de système d'équations linéaires, il contient également une méthode pour trouver la racine carrée et racine cubique.

• Liu Hui (220-280)

Contient l'application des triangles à angle droit pour l'étude de la profondeur ou la hauteur des objets éloignés.

• Sunzi (5th century)

Contient la description du théorème des restes chinois.

• Aryabhata (499 CE)

Aryabhata introduit la méthode dite « Modus Indorum » ou la méthode des Indiens, qui est devenue notre algèbre aujourd'hui. Le texte contient 33 versets couvrant, arithmétiques et progressions géométriques, gnomon/ombres (Shanku-ChhAyA), simple, quadratique, simultanées et équations indéterminées.

Jigu Suanjing (626 AP)

Ce livre de la dynastie des Tang mathématicien Wang Xiaotong contient première équation du troisième ordre au monde.

• Brahmagupta (628 AP)

Contient des règles pour manipuler les nombres positifs et négatifs, une méthode de calcul des racines carrées, et des méthodes générales de la résolution d'équation linéaire et du second degré[2] - [3] - [4] - [5].

• Muhammad ibn Mūsā al-Khwārizmī (820)

Le premier livre sur les solutions algébriques systématiques des équations linéaires et quadratiques par le savant musulman et persan Al-Khwârizmî. Le livre est considéré comme le fondement de l'algèbre moderne et les mathématiques arabo-islamique. Le mot «algèbre» est lui-même dérivé de al-Jabr du titre du livre[6].

• Liu Yi (XII^e siècle)

Contient la première invention de l'équation polynomiale de 4^e ordre.

• Qin Jiushao (1247)

Ce livre du XIII^e siècle contient la première solution complète de la méthode de Ruffini-Horner du XIX^e siècle de résoudre des équations polynomiales d'ordre élevé (jusqu'à 10 ordre). Il contient également une solution complète du théorème des restes chinois, qui est antérieure à Euler et Gauss de plusieurs siècles.

• Li Zhi (1248)

Contient l'application d'équation polynomial haute afin équation polynomiale pour résoudre des problèmes de géométrie complexe.

• Zhu Shijie (1303)

Contient la méthode du système d'équations polynômes d'ordre supérieur jusqu'à quatre inconnues.

• Gerolamo Cardano (1545)

Contient que les premières méthodes publiées pour résoudre des équations cubiques et quartiques (en raison de Scipione del Ferro, Niccolò Fontana Tartaglia, et Lodovico Ferrari), et expose les premiers calculs publiés impliquant des nombres complexes non réels[7] - [8].

• Leonhard Euler (1770)

Aussi connu comme Éléments de l'Algèbre, le manuel d'Euler sur l'algèbre élémentaire est l'un des premiers à définir l'algèbre dans sa forme moderne. Les premiers volume traite des équations déterminées, tandis que la seconde partie traite des équations diophantiennes. La dernière section contient une preuve du dernier théorème de Fermat pour le cas n = 3, ce qui rend certaines hypothèses valables en ce qui concerne Q(√−3) qu'Euler n'a pas prouvé[9].

• Carl Friedrich Gauss (1799)

La thèse de doctorat de Gauss[10], contient une preuve largement acceptée (à l'époque) mais incomplète[11] du théorème fondamental de l'algèbre.

• Joseph Louis Lagrange (1770)

La résolvante Lagrange a également introduit la transformation de Fourier discrète d'ordre 3.

• Journal de Mathématiques pures et Appliquées, II (1846)

Publication posthume des manuscrits mathématiques de Évariste Galois par Joseph Liouville. Sont inclus les documents de Galois Mémoire sur les conditions de résolubilité des équations par radicaux et Des équations primitives qui sont solubles par radicaux.

• Camille Jordan (1870)

Le premier livre sur la théorie de groupe, qui donne une étude puis exhaustive des groupes de permutation et de la théorie de Galois. Dans ce livre, Jordan a introduit la notion de groupe simple et d'épimorphisme (qu'il appelait l'isomorphisme mériédrique)[12], partie prouvée du théorème de Jordan-Hölder[13].

• Sophus Lie, Friedrich Engel (1888–1893).

Donnée de publication : 3 volumes, B.G. Teubner, Verlagsgesellschaft, mbH, Leipzig, 1888–1893. Volume 1, Volume 2, Volume 3.

Le premier travail exhaustif sur les groupes de transformation, servant de base à la théorie moderne des groupes de Lie.

• Walter Feit et John Thompson (1960)

Description: Solvability of groups of odd order (Solvabilité des groupes d'ordre impair) a donné une preuve complète de la solvabilité des groupes finis d'ordre impair, en établissant le Problème de Burnside selon laquelle tous les groupes simples non-abéliens finis sont d'ordre pair. Bon nombre de techniques originales utilisées dans le ce document ont été utilisés dans la classification des groupes simples finis.

• Alexander Grothendieck (1957)

Révolution de l'algèbre homologique en introduisant les catégories abéliennes et en fournissant un cadre général pour la notion de Cartan et Eilenberg des foncteurs dérivés.

• Bernhard Riemann (1857)

Donnée de publication: Journal für die Reine und Angewandte Mathematik

André Weil a écrit que ce document «est l'un des plus grandes pièces des mathématiques qui n'ait jamais été écrit, il n'y a pas un seul mot dans celle-ci qui n'ait pas de conséquence.» [14]

• Jean-Pierre Serre

Donnée de publication: Annals of Mathematics, 1955

FAC, comme il est généralement appelé, était utilisation de préfaisceaux en géométrie algébrique, allant au-delà du cas des variétés complexes. Serre introduit cohomologie de Čech des préfaisceaux dans ce document, et, en dépit de quelques lacunes techniques, a révolutionné les formulations de la géométrie algébrique.

• Jean-Pierre Serre (1956)

En mathématiques, la géométrie algébrique et la géométrie analytique sont étroitement reliés, où la géométrie analytique est la théorie des variétés complexes et les espaces analytiques plus généraux définis localement par la disparition des fonctions analytiques de plusieurs variables complexes. Une théorie (mathématique) de la relation entre les deux a été mis en place au cours de la première partie des années 1950, afin de poser les bases de la géométrie algébrique pour inclure, par exemple, les techniques de la théorie de Hodge. Le document a consolidé la théorie Géometrie Algébrique et Géométrie Analytique par Serre, maintenant généralement désignée sous le nom GAGA.

• Armand Borel, Jean-Pierre Serre (1958)

L'exposition de Borel et Serre de la version de Grothendieck du Théorème de Riemann–Roch, publié après Grothendieck a précisé qu'il ne souhaitait pas écrire son propre résultat[15]. Dans sa preuve, Grothendieck a innové avec son concept de groupes de Grothendieck, qui a conduit à l'élaboration de la K-théorie[16].

• Alexander Grothendieck (1960–1967)

Rédigé avec l'aide de Jean Dieudonné, ceci est l'exposition de Grothendieck de son travail des fondements de la géométrie algébrique. Elle est devenue la base de travail la plus importante dans la géométrie algébrique moderne.

• Alexander Grothendieck et al.

Contrairement à EGA, qui est destiné à fixer les fondations, SGA décrit les recherches en cours comme elle se déroulait au séminaire de Grothendieck; en conséquence, il est assez difficile à lire, puisque la plupart des résultats plus élémentaires et fondamentaux ont été relégués à EGA. L'une des personnes principale de résultats dans SGA est la preuve de Pierre Deligne de la dernière conjectures de Weil ouvertes au début des années 1970.

• Brahmagupta (628)

Brahmasphutasiddhanta de Brahmagupta est le premier livre qui mentionne zéro comme un nombre, Brahmagupta est alors considéré comme le premier à formuler le concept de zéro. Le système actuel des quatre opérations fondamentales (addition, soustraction, multiplication et division) basé sur le système de nombre hindou-arabe est également apparu la première fois dans Brahmasphutasiddhanta. Il a également été l'un des premiers textes à fournir des idées concrètes sur les nombres positifs et négatifs.

• Leonhard Euler (1744)

D'abord présenté en 1737, cet article [17] fourni le premier compte complet des propriétés des fractions continues. Il contient également la première preuve que le nombre e est irrationnel[18].

• Joseph Louis Lagrange (1775)

Développement d'une théorie générale des formes quadratiques binaires pour traité le problème général quand un nombre entier est représentable par la forme ${\displaystyle ax^{2}+by^{2}+cxy}$. Cela comprenait une théorie de réduction des formes quadratiques binaires, où il a prouvé que toute forme est équivalente à une certaine forme réduite canoniquement choisie[19] - [20].

• Carl Friedrich Gauss (1801)

Le Disquisitiones Arithmeticae est un livre profond et magistrale sur la théorie des nombres écrits par le mathématicien allemand Carl Friedrich Gauss et publié en 1801 lorsque Gauss avait 24 ans. Dans ce livre, Gauss rassemble les résultats dans la théorie des nombres obtenus par les mathématiciens tels que Fermat, Euler, Lagrange et Legendre et ajoute de nombreux nouveaux résultats importants. Parmi ses contributions, la première preuve complète connue du théorème fondamental de l'arithmétique, les deux premières preuves publiées de la loi de réciprocité quadratique, une étude profonde des formes quadratiques binaires allant au-delà du travail de Lagrange dans les Recherches d'Arithmétique, une première apparition de la somme de Gauss, cyclotomie, et la théorie des polygones constructibles avec une application particulière à la constructibilité d'un heptadécagone[21]. [22]

• Peter Gustav Lejeune Dirichlet (1837)

Ce document est le premier concernant la théorie analytique des nombres, il a introduit les caractères de Dirichlet et de leurs fonctions L pour établir le théorème de la progression arithmétique. Dans ses publications ultérieures, Dirichlet a utilisé ces outils pour déterminer, entre autres, le numéro de classe pour les formes quadratiques.

• Bernhard Riemann (1859)

Über die Anzahl der Primzahlen unter einer gegebenen Grösse (ou Sur le nombre de nombres premiers inférieurs à une taille donnée) est un article de 8 page écrit par Bernhard Riemann publié dans l'édition de novembre 1859 des Rapports mensuels de l'Académie de Berlin. Bien que ce soit le seul article qu'il ait publié sur la théorie des nombres, il contient des idées qui ont influencé des milliers de chercheurs depuis la fin du XIX^e siècle jusqu'à nos jours. L'article contient d'abord des définitions, des arguments heuristiques, des esquisses de preuves et l'application de méthodes analytiques puissantes ; toutes celles-ci sont devenues des concepts essentiels et des outils de la théorie analytique des nombres moderne. Il contient également la célèbre hypothèse de Riemann, l'un des problèmes ouverts les plus importants des mathématiques[23].

• Peter Gustav Lejeune Dirichlet et Richard Dedekind

Vorlesungen über Zahlentheorie est un livre sur la théorie des nombres écrits par les mathématiciens allemands P. G. Lejeune Dirichlet et R. Dedekind, publié en 1863. Le Vorlesungen peut être considérée comme un tournant entre la théorie des nombres classique de Fermat, Jacobi et Gauss, et la théorie des nombres moderne de Dedekind, Riemann et Hilbert.

• David Hilbert (1897)

Bien que critiqué par André Weil (qui a déclaré «plus de la moitié de son célèbre Zahlbericht est un peu plus d'un compte du travail de Kummer sur la théorie des nombres, avec des améliorations inessentiel»)[24] et par Emmy Noether[25], il a été très influent de nombreuses années après sa publication.

• John Tate (1950)

Fourier Analysis in Number Fields and Hecke's Zeta-Functions est généralement appelé la thèse de Tate. La thèse, sous Emil Artin, est un remaniement de la théorie de Erich Hecke des fonctions-zéta et L en termes d'analyse de Fourier.

• Pierre Deligne (1974)

Preuve de l'hypothèse de Riemann pour les variétés sur les corps finis, régler la dernière des conjectures de Weil ouvertes.

• Gerd Faltings (1983)

Faltings prouve une collection de résultats importants dans cet article, dont le plus célèbre est la première preuve de la conjecture de Mordell (une conjecture datant de 1922). 

• Andrew Wiles (1995)

Modular Elliptic Curves and Fermat's Last Theorem (Courbes Elliptiques Et le Dernier Théorème de Fermat) prouve un cas particulier de la conjecture de Shimura-Taniyama à travers l'étude de la théorie de la déformation des représentations galoisiennes. Ceci implique le célèbre dernier théorème de Fermat.

• Michael Harris et Richard Taylor (2001)

Harris et Taylor fournissent la première preuve de la conjecture locale de Langlands pour GL(n).

• Ngô Bảo Châu

Ngô Bảo Châu a prouvé un problème non résolu de longue date dans le programme de Langlands, en utilisant des méthodes du programme géométrique de Langlands.

• Leonhard Euler (1748)

L'historien des mathématiques Carl Boyer a une fois appelé Introductio in analysin infinitorumd'Euler le plus grand texte moderne mathématiques[26]. Publié en deux volumes[27] - [28], ce livre plus que tout autre, a réussi à établir l'analyse comme une branche importante des mathématiques, avec un accent sur celle utilisée en géométrie et en algèbre[29] - [30]. Dans ce texte, Euler a prouvé que chaque nombre rationnel peut être écrit comme une fraction continue finie, que la fraction continue d'un nombre irrationnel est infini[27].Ce texte contient également un énoncé de la formule d'Euler et une déclaration du théorème des nombres pentagonaux, dont il avait fait la découverte plus tôt et publierait sa preuve en 1751.

• Jyeshtadeva (1501)

Écrit en Inde en 1501, ce fut le premier texte de calcul au monde. «Ce travail a posé les bases d'un système complet de fluxions»[31]et a servi comme un résumé des réalisations de l'École du Kerala à propos du calcul, la trigonométrie et l'analyse mathématique, dont la plupart ont été découverts plus tôt par le mathématicien Madhava au XIV^e siècle. Il est possible que ce texte a influencé le développement ultérieur du calcul en Europe. Certains de ses développements importants dans le calcul comprennent : les idées fondamentales d'intégration, de dérivé, d'équations différentielles, l'intégration numérique au moyen de série infinie, la relation entre la zone d'une courbe et son intégrale, et le théorème des accroissements finis.

• Gottfried Leibniz (1684)

Première publication de Leibniz sur le calcul différentiel, contenant la notation désormais familière des différentiels ainsi que les règles de calcul des dérivés, des produits et des quotients.

• Isaac Newton

Le Philosophiae Naturalis Principia Mathematica (Latin: «principes mathématiques de la philosophie naturelle», souvent raccourci Principia ou Principia Mathematica) est un travail en trois volumes écrit par Isaac Newton publié le 5 juillet 1687. Peut-être le livre scientifique le plus influent jamais publié, il contient l'exposé des lois du mouvement de Newton, formant la base de la mécanique classique, ainsi que sa loi de la gravitation universelle, et tire les lois de Kepler pour le mouvement des planètes (qui ont d'abord été obtenues empiriquement)[32].

Institutiones calculi differentialis

• Leonhard Euler (1755)

Publié en deux livres[33], Le Traité du calcul différentiel d'Euler sur le calcul différentiel présente le sujet en termes de fonction, qu'il avait introduit dans son Introductio dans analysin infinitorum de 1748. Ce travail a ouvert l'étude du calcul des différences finies [34]. On y trouve aussi une étude des polynômes de Bernoulli et des nombres de Bernoulli[35], et une nouvelle étude de la constante d'Euler[36].

• Bernhard Riemann (1867)

Écrit en 1853, les travaux de Riemann sur les séries trigonométriques ont été publiés à titre posthume. Dans ce document, il étend la définition de Cauchy de l'intégrale de Riemann, ce qui permet à certaines fonctions des sous-ensembles denses de discontinuités sur un intervalle d'être intégrées (démonstration par un exemple)[37]. Il a également déclaré son théorème de réarrangement de Riemann[37], prouvé le théorème de Riemann-Lebesgue pour le cas des fonctions de Riemann intégrables[38], et a développé le principe de Riemann de localisation[39].

• Henri Lebesgue (1901)

La thèse de doctorat de Lebesgue, résumant et étendant ses recherches en ce qui concerne son développement de la théorie de la mesure et de l'intégrale portant son nom.

• Bernhard Riemann (1851)

La thèse de doctorat de Riemann a introduit la notion de surface de Riemann, transformation conforme, la sphère de Riemann, et le théorème de l'application conforme.

• Stefan Banach (1932; initialement publié en 1931 en Polonais sous le titre Teorja operacyj.)

Première monographie mathématique sur le thème des espaces métriques linéaires, comportant l'étude abstraite de l'analyse fonctionnelle. Le livre introduit les idées d'un espace normé et la notion d'un espace-B dit, un espace normé complet. Les espaces-B sont maintenant appelés les espaces de Banach et sont l'un des objets de base de l'étude dans les domaines de l'analyse mathématique moderne. Banach a également donné des preuves du théorème ouvert de cartographie, théorème du graphe fermé, et de Hahn-Banach.

• Joseph Fourier (1807)[40]

Introduction à l'analyse de Fourier, en particulier aux séries de Fourier. La contribution clé était de ne pas simplement utiliser les séries trigonométriques, mais de modéliser toutes les fonctions par séries trigonométriques.

• Peter Gustav Lejeune Dirichlet (1829)

Dans sa thèse d'habilitation sur les séries de Fourier, Riemann décrit les travaux de Dirichlet comme «le premier document profond sur le sujet»[41].Ce document a donné la première preuve rigoureuse de la convergence des séries de Fourier dans des conditions assez générales en considérant les sommes partielles, que Dirichlet a transformé en une intégrale de Dirichlet particulière, que l'on appelle maintenant le noyau de Dirichlet[42].

• Baudhayana

Écrit aux alentours du VIII^e siècle av. J.-C., c'est l'un des textes géométriques les plus anciens. Il a posé les bases des mathématiques indiennes et a été influant en Asie du Sud et de ses régions environnantes, et peut-être même la Grèce. Quelques découvertes géométriques importantes de ce texte: la première liste des triplets pythagoriciens découvert algébriquement, le premier énoncé du théorème de Pythagore, des solutions géométriques des équations linéaires, plusieurs approximations de π, la première utilisation des nombres irrationnels, et un calcul précis de la racine carrée de deux, correcte à cinq décimales.

• Euclide

Donnée de publication : 300 av. J.-C.

Celui-ci est souvent considéré comme, non seulement le travail le plus important de la géométrie, mais aussi l'une des œuvres les plus importantes des mathématiques. Il contient de nombreux résultats importants en géométrie plane et solide, l'algèbre (livres II et V), et la théorie des nombres (livre VII, VIII et IX)[43]. Les Éléments d'Euclide se réfère généralement au texte le plus réussi et influent[44] jamais écrit.

• Auteur inconnu

Contient la première description de l'élimination de Gauss pour une résolution de système d'équations linéaires, il contient également une méthode pour trouver la racine carrée et la racine cubique. La première solution d'une matrice en utilisant une méthode équivalente à la méthode actuelle.

• Apollonius de Perga

Les Coniques a été écrit par Apollonius de Perga, un mathématicien grec. Sa méthodologie et la terminologie novatrice, en particulier dans le domaine des coniques, ont influencé de nombreux chercheurs, comme Ptolémée, Francesco Maurolico, Isaac Newton ou encore René Descartes. C'est Apollonius qui a donné les noms de l'ellipse, la parabole, et l'hyperbole. 

• Inconnu (400)

Il contient les racines de la trigonométrie moderne. Il décrit les théories d'archéo-astronomie, les principes et les méthodes des anciens Hindous. Ce siddhanta est censé être la connaissance que le dieu Soleil a donné à un Asuraappelé Maya. Il utilise des sinus (jya), cosinus (kojya ou «sinus perpendiculaire») et sinus inverse (jya otkram) pour la première fois, et contient également la première utilisation de la tangente et de la sécante.

• Aryabhata (499)

Ce fut un texte très influent au cours de l'âge d'or des mathématiques en Inde. Celui-ci a grandement contribué à la géométrie et à l'astronomie, y compris l'introduction des sinus/cosinus, la détermination de la valeur approximative de pi et un calcul précis de la circonférence de la terre.

• René Descartes

La Géométrie a été publié en 1637 et écrit par René Descartes. Le livre était influent dans le développement du système de coordonnées cartésiennes et plus particulièrement de la représentation des points d'un plan, par des nombres réels; et la représentation des courbes, via des équations.

• David Hilbert

Version en ligne : (en) En ligne

Donnée de publication: (en) David Hilbert, Grundlagen der Geometrie, Teubner-Verlag Leipzig, 1899 (ISBN 1-4020-2777-X)

L'axiomatisation de Hilbert de la géométrie.

• H.S.M. Coxeter

Regular Polytopes (Polytopes réguliers) est une étude exhaustive de la géométrie des polytopes réguliers, la généralisation des polygones réguliers et des polyèdres réguliers aux dimensions supérieures. Originaire d'un essai intitulé Dimensional Analogy écrit en 1923, la première édition du livre a pris 24 ans à Coxeter pour la compléter. À l'origine écrit en 1947, le livre a été mis à jour et réédité en 1963 et en 1973.

• Leonhard Euler (1760)

Donnée de publication: Mémoires de l'académie des sciences de Berlin 16 (1760) p. 119–143; publié en 1767.

Ce document établie la théorie des surfaces, et introduit l'idée de courbures principales, posant les bases de développements de la géométrie différentielle des surfaces.

• Carl Friedrich Gauss (1827)

Donnée de publication: «Disquisitiones generales circa superficies curvas», Commentationes Societatis Regiae Scientiarum Gottingesis Recentiores Vol. VI (1827), p. 99–146; «General Investigations of Curved Surfaces» (publié en 1965) Raven Press, New York.

Travaux novateurs en géométrie différentielle, en introduisant la notion de courbure de Gauss.

• Bernhard Riemann (1854)

Donnée de publication: «Über die Hypothesen, welche der Geometrie zu Grunde Liegen», Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Vol. 13, 1867.

Le célèbre Habiltationsvortrag de Riemann, dans laquelle il introduit les notions de variété, métrique riemannienne et de tenseur de courbure.

• Gaston Darboux

Donnée de publication: (en) Gaston (1887,1889,1896) Darboux, Leçons sur la théorie génerale des surfaces, Gauthier-Villars Volume I, Volume II, Volume III, Volume IV

Un traité couvrant pratiquement tous les aspects de la géométrie différentielle des surfaces du XIX^e siècle.

• Henri Poincaré (1895, 1899–1905)

L'Analysis situs de Poincaré et ses Compléments à l'Analysis situs posent les bases de la topologie algébrique. Dans ces documents, Poincaré introduit les notions d'homologie et de groupe fondamental, et mentionne plusieurs conjectures importantes, y compris la conjecture de Poincaré.

• Jean Leray (1946)

Dans ces deux notes aux Comptes rendus de 1946, Leray introduit les concepts nouveaux de préfaisceau, cohomologie des faisceaux, et de suite spectrale, qu'il mit au point au cours de ses années de captivité comme prisonnier de guerre. Les déclarations et les applications de Leray (publiées dans les notes des Comptes rendus de 1946) attire l'attention immédiate d'autres mathématiciens. Après la clarification, le développement et la généralisation par Henri Cartan, Jean-Louis Koszul, Armand Borel, Jean-Pierre Serre et Leray lui-même, permettent à ces concepts d'être compris et appliqués dans de nombreux autres domaines mathématiques[45] - [46].

• René Thom (1954)

Dans cet article, Thom prouve le théorème de transversalité de Thom, introduit les notions de cobordisme orienté et non-orienté, et démontre que les groupes de cobordisme peuvent être calculés comme les groupes d'homotopie de certains espaces de Thom[47] - [48].

• Samuel Eilenberg et Saunders Mac Lane (1945)

General theory of natural equivalences (Théorie générale et équivalences naturelles) est le premier article concernant la théorie des catégories. Mac Lane a plus tard écrit dans Categories for the Working Mathematician que lui et Eilenberg ont introduit les catégories afin qu'ils puissent introduire les foncteurs, pour pouvoir présenter des équivalences naturelles.

• Saunders Mac Lane (1971, deuxième édition en 1998)

Saunders Mac Lane, l'un des fondateurs de la théorie des catégories, a écrit cette exposition pour apporter des catégories pour les masses. 

• Georg Cantor (1874)

Version en ligne: version en ligne

 Contient la première preuve que l'ensemble des nombres réels est innombrable; contient également une preuve que l'ensemble des nombres algébriques est dénombrable. (Voir le premier article de la théorie des ensembles de Georg Cantor.)

• Felix Hausdorff

D'abord publié en 1914, ce fut la première introduction complète à la théorie des ensembles. Le livre contient également des chapitres sur la théorie de la mesure et de la topologie, qui sont toujours considéré comme parties de la théorie des ensembles. 

• Paul J. Cohen (1963, 1964)

le travail de Cohen a prouvé l'indépendance de l'hypothèse du continu et l'axiome du choix par rapport à théorie des ensembles Z-F. Pour prouver ceci, Cohen a introduit la notion de forcing,qui a conduit à de nombreux autres résultats dans la théorie des ensembles axiomatique.

• George Boole (1854)

Publié en 1854, Les Lois de la pensée a été le premier livre à fournir une base mathématique pour la logique. Son objectif était une extension de la logique d'Aristote en mathématiques. Le travail de Boole a fondé la discipline de la logique algébrique.

• Gottlob Frege (1879)

Publié en 1879, le titre Begriffsschrift peut être traduit par L'Idéographie. C'est un langage entièrement formalisé inventé par le logicien Gottlob Frege et qui a pour but de représenter de manière parfaite la logique mathématique. Il était sans doute la publication la plus importante de logique depuis Aristote.

• Giuseppe Peano (1895)

D'abord publié en 1895, le Formulario mathématico fut le premier livre mathématique entièrement écrit dans un langage formel. Il contient une description de la logique mathématique et de nombreux théorèmes importants. Bon nombre des notations introduites dans ce livre sont maintenant couramment utilisées.

• Bertrand Russell et Alfred North Whitehead (1910–1913)

Les Principia Mathematica sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés à compte d'auteur en 1910-1913. Cette œuvre a pour sujet les fondements des mathématiques. Avec en particulier l'idéographie de Gottlob Frege, c'est un ouvrage fondamental, dans la mesure où il participe de façon décisive à la naissance de la logique moderne. Les Principia englobent la théorie des ensembles, avec les nombres cardinaux, les nombres ordinaux, ainsi que les nombres réels. Des théorèmes plus avancés de l'analyse réelle n'ont pas été inclus. Un quatrième volume était initialement prévu, mais n'a jamais été réalisé.

• Thèse d'Alan Turing

• Kurt Gödel (1931)

En logique mathématique, les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres prouvés par Kurt Gödel en 1931. 

• Endre Szemerédi (1975)

Ce document règle la conjecture de Paul Erdős et Pál Turán (maintenant connu comme le théorème de Szemerédi). La solution de Szemerédi a été décrit comme un «chef-d'œuvre de la combinatoire»[49]. [50]

• Leonhard Euler (1741)

La solution d'Euler du problème des ponts de Königsberg dans Solutio problematis ad geometriam situs pertinentis (La solution d'un problème lié à la géométrie de la position) est considéré comme le premier théorème de la théorie des graphes.

• Paul Erdős et Alfréd Rényi (1960)

Il fournit une analyse détaillée des graphes aléatoires[51].

• Ford, L. et Fulkerson, D.
• Flows in Networks. Prentice-Hall, 1962.

Présente l'algorithme de Ford-Fulkerson pour résoudre le problème de flot maximum.

• John von Neumann (1928)

Ce document alla bien au-delà des études initiales de Émile Borel dans la théorie stratégique du jeu à deux personnes en prouvant le théorème minimax.

• John Horton Conway

Livre de mathématiques, en anglais, écrit en 1976. Il introduit notamment le concept de nombre surréel et pose les bases de la théorie des jeux. Avec Winning Ways for your Mathematical Plays, ce livre est considéré comme fondateur de la théorie des jeux combinatoires.

• Elwyn Berlekamp, John Conway et Richard K. Guy

Recueil d'informations sur les jeux mathématiques. Il a été publié pour la première en 1982 en deux volumes, l'un se concentrant sur la théorie des jeux combinatoires et les nombres surréels, et l'autre sur un certain nombre de jeux spécifiques.

• Isaac Newton

Method of Fluxions est un livre écrit par Isaac Newton publié en 1736. Dans ce livre, Newton décrit une méthode (la méthode de Newton-Raphson) pour trouver les vrais zéros d'une fonction.

• Joseph Louis Lagrange (1761)

Premiers travaux majeurs sur le calcul des variations, se fondant sur certaines des études antérieures de Lagrange, ainsi que celles d'Euler. Il contient des études sur la détermination de la surface minimale, ainsi que l'aspect initial des multiplicateurs de Lagrange.

• Leonid Kantorovich (1939) « La méthode mathématique de planification de la production et de l'organisation]» (en Russe).

Il a reçu le prix Nobel pour ce travail en 1975.

• Victor Klee et George J. Minty

Klee et Minty ont donné un exemple montrant que l'algorithme du simplexe peut prendre de façon exponentielle de nombreuses étapes pour résoudre un programme linéaire.

• Ahmes (scribe)

Un des textes mathématiques les plus anciens, datant de la Deuxième Période intermédiaire de l'Égypte antique. Il a été copié par le scribe Ahmes à partir d'un papyrus. Il a posé les bases des mathématiques égyptiennes. En plus de décrire comment obtenir une approximation de π, il décrit l'une des premières tentatives de la quadrature du cercle.

• Archimède

Les problèmes traités ici sont ceux du centre de gravité d'un hémisphère solide, du centre de gravité d'un tronc de paraboloïde circulaire, et de la surface d'une région délimitée par une parabole et une de ses lignes sécantes. Pour plus de détails explicites sur la méthode utilisée, voir l'utilisation d'Archimède des infinitésimaux.

• Archimède

Le premier système connu de numérotation qui peut être étendu au-delà des besoins de la vie quotidienne.