Donald Knuth - Donald Knuth

Donald Knuth
KnuthAtOpenContentAlliance.jpg
Knuth en 2005
Née
Donald Ervin Knuth

( 1938-01-10 )10 janvier 1938 (83 ans)
Milwaukee, Wisconsin , États-Unis
Nationalité américain
Éducation
Connu pour
Conjoint(s) Nancy Jill Carter
Enfants 2
Récompenses
Carrière scientifique
Des champs
Établissements Université de Stanford ,
Université d'Oslo
Thèse Demi-champs finis et plans projectifs  (1963)
Conseiller de doctorat Marshall Hall, Jr.
Doctorants
Site Internet cs .stanford .edu /~knuth

Donald Ervin Knuth ( / k ə n û θ / kə- Nooth , né le 10 Janvier, 1938) est un Américain informaticien , mathématicien et professeur émérite à l' Université de Stanford . Il est le récipiendaire 1974 du prix ACM Turing , considéré de manière informelle comme le prix Nobel d'informatique. Knuth a été appelé le « père de l' analyse des algorithmes ».

Il est l'auteur de l'ouvrage en plusieurs volumes The Art of Computer Programming . Il a contribué au développement de l'analyse rigoureuse de la complexité computationnelle des algorithmes et a systématisé les techniques mathématiques formelles pour cela. Dans le processus , il a également popularisé la notation asymptotique . En plus de contributions fondamentales dans plusieurs branches de l'informatique théorique , Knuth est le créateur du système de composition informatique TeX , du langage de définition de polices METAFONT et du système de rendu, et de la famille de polices Computer Modern .

En tant qu'écrivain et chercheur, Knuth a créé les systèmes de programmation informatique WEB et CWEB conçus pour encourager et faciliter la programmation littéraire , et a conçu les architectures de jeux d'instructions MIX / MMIX . Knuth s'oppose fermement à l'octroi de brevets logiciels , ayant exprimé son opinion à l' Office des brevets et des marques des États-Unis et à l'Organisation européenne des brevets .

Biographie

Début de la vie

Knuth est né à Milwaukee , dans le Wisconsin , d'Ervin Henry Knuth et de Louise Marie Bohning. Il décrit son héritage comme « l'allemand luthérien du Midwest ». Son père possédait une petite imprimerie et enseignait la comptabilité. Donald, un élève du Milwaukee Lutheran High School , a pensé à des moyens ingénieux de résoudre les problèmes. Par exemple, en huitième année, il a participé à un concours pour trouver le nombre de mots que les lettres de « Ziegler's Giant Bar » pourraient être réarrangées pour créer ; les juges avaient identifié 2 500 de ces mots. Avec du temps gagné loin de l'école en raison d'un prétendu mal d'estomac et en travaillant le problème dans l'autre sens, Knuth a utilisé un dictionnaire non abrégé et a déterminé si chaque entrée du dictionnaire pouvait être formée à l'aide des lettres de la phrase. À l'aide de cet algorithme, il a identifié plus de 4 500 mots, remportant le concours. Comme prix, l'école a reçu une nouvelle télévision et suffisamment de friandises pour que tous ses camarades de classe puissent manger.

Éducation

Knuth a reçu une bourse en physique au Case Institute of Technology (maintenant partie de Case Western Reserve University ) à Cleveland , Ohio, s'inscrivant en 1956. Il a également rejoint le chapitre Beta Nu de la fraternité Theta Chi . Alors qu'il étudiait la physique à Case, Knuth a découvert l' IBM 650 , un des premiers ordinateurs commerciaux . Après avoir lu le manuel de l'ordinateur, Knuth a décidé de réécrire le code assembleur et compilateur pour la machine utilisée dans son école, car il pensait qu'il pouvait le faire mieux.

En 1958, Knuth a créé un programme pour aider l'équipe de basket-ball de son école à gagner leurs matchs. Il a attribué des "valeurs" aux joueurs afin d'évaluer leur probabilité d'obtenir des points, une nouvelle approche que Newsweek et CBS Evening News ont rapportée plus tard.

Knuth a été l'un des rédacteurs fondateurs de Case Institute's Engineering and Science Review , qui a remporté le prix national du meilleur magazine technique en 1959. Il est ensuite passé de la physique aux mathématiques et a obtenu deux diplômes de Case en 1960 : son baccalauréat ès sciences, et simultanément une maîtrise en sciences par un prix spécial de la faculté, qui a considéré son travail exceptionnellement remarquable.

En 1963, avec le mathématicien Marshall Hall comme conseiller, il obtient un doctorat en mathématiques du California Institute of Technology .

Premiers travaux

Après avoir obtenu son doctorat, Knuth a rejoint la faculté de Caltech en tant que professeur assistant.

Il a accepté une commission pour écrire un livre sur les compilateurs de langage de programmation informatique . En travaillant sur ce projet, Knuth a décidé qu'il ne pouvait pas traiter le sujet de manière adéquate sans d'abord développer une théorie fondamentale de la programmation informatique, qui est devenue The Art of Computer Programming . Il avait initialement prévu de le publier en un seul livre. Au fur et à mesure que Knuth développait son plan pour le livre, il a conclu qu'il avait besoin de six volumes, puis de sept, pour couvrir complètement le sujet. Il publie le premier volume en 1968.

Juste avant de publier le premier volume de The Art of Computer Programming , Knuth a quitté Caltech pour accepter un emploi à l' Institute for Defence Analyses' Communications Research Division , alors situé sur le campus de l'Université de Princeton , qui effectuait des recherches mathématiques en cryptographie pour soutenir la sécurité nationale Agence .

En 1967, Knuth assista à une conférence de la Society for Industrial and Applied Mathematics et quelqu'un lui demanda ce qu'il faisait. À l'époque, l'informatique était partitionnée en analyse numérique, intelligence artificielle et langages de programmation. Sur la base de son étude et du livre L'art de la programmation informatique , Knuth a décidé que la prochaine fois que quelqu'un lui poserait la question, il dirait : « Analyse des algorithmes ».

Knuth a ensuite quitté son poste pour rejoindre la faculté de l'Université de Stanford en 1969, où il est maintenant professeur émérite d'informatique Fletcher Jones.

Écrits

Knuth est écrivain et informaticien.

L'art de la programmation informatique ( TAOCP )

"La meilleure façon de communiquer d'un être humain à un autre est à travers l'histoire."

-  Donald Knuth

Dans les années 1970, Knuth décrivait l'informatique comme "un domaine totalement nouveau sans véritable identité. Et le niveau des publications disponibles n'était pas si élevé. Beaucoup d'articles publiés étaient tout simplement faux. ... Donc l'une de mes motivations était de remettre au point une histoire qui avait été très mal racontée."

De 1972 à 1973, Knuth a passé un an à l' Université d'Oslo parmi des personnes comme Ole-Johan Dahl . Ici, il devait en fait écrire le septième volume de sa série de livres, un volume qui devait traiter des langages de programmation. Cependant, Knuth n'avait terminé que les deux premiers volumes lorsqu'il est venu à Oslo, et a donc passé l'année sur le troisième volume, à côté de l'enseignement. Le troisième volume de la série est sorti juste après le retour de Knuth à Stanford en 1973.

En 2011, les trois premiers volumes et la première partie du quatrième volume de sa série avaient été publiés. Concrete Mathematics: A Foundation for Computer Science 2nd ed., qui a pour origine une extension de la section des préliminaires mathématiques du volume 1 de TAoCP , a également été publiée. En avril 2020, Knuth a déclaré qu'il travaillait dur sur la partie B du volume 4, et il prévoit que le livre aura au moins les parties A à F.

D'autres travaux

Knuth est également l'auteur de Surreal Numbers , une nouvelle mathématique sur la construction par John Conway de la théorie des ensembles d'un système alternatif de nombres. Au lieu d'expliquer simplement le sujet, le livre cherche à montrer le développement des mathématiques. Knuth voulait que le livre prépare les étudiants à faire des recherches originales et créatives.

En 1995, Knuth a écrit la préface du livre A=B de Marko Petkovšek , Herbert Wilf et Doron Zeilberger . Knuth est également un contributeur occasionnel de puzzles linguistiques à Word Ways: The Journal of Recreational Linguistics .

Knuth s'est également penché sur les mathématiques récréatives . Il a rédigé des articles pour le Journal of Recreational Mathematics à partir des années 1960 et a été reconnu comme un contributeur majeur dans Mathematics on Vacation de Joseph Madachy .

Knuth est également apparu dans un certain nombre de vidéos Numberphile et Computerphile sur YouTube où il a discuté de sujets allant de l'écriture de Surreal Numbers aux raisons pour lesquelles il n'utilise pas le courrier électronique.

Travaux concernant ses croyances religieuses

En plus de ses écrits sur l'informatique, Knuth, un luthérien , est également l'auteur de 3:16 Bible Texts Illuminated , dans lequel il examine la Bible par un procédé d' échantillonnage systématique , à savoir une analyse du chapitre 3, verset 16 de chaque livre. Chaque vers est accompagné d'un rendu en art calligraphique, contribué par un groupe de calligraphes sous la houlette d' Hermann Zapf . Par la suite, il a été invité à donner une série de conférences au MIT sur ses opinions sur la religion et l'informatique derrière son projet 3:16, ce qui a donné lieu à un autre livre, Things a Computer Scientist Rarely Talks About , où il a publié les conférences « God and Computer Sciences" .

Avis sur les brevets logiciels

Knuth est fortement opposé à la politique d'octroi de brevets logiciels pour des solutions triviales qui devraient être évidentes, mais a exprimé des points de vue plus nuancés pour des solutions non triviales telles que la méthode de point intérieur de programmation linéaire . Il a exprimé son désaccord directement à l' Office des brevets et des marques des États-Unis et à l'Organisation européenne des brevets .

Rêves d'ordinateur

Knuth donne des conférences informelles quelques fois par an à l'Université de Stanford , qu'il a intitulées "Computer Musings". Il a été professeur invité au département d'informatique de l'Université d'Oxford au Royaume-Uni jusqu'en 2017 et membre honoraire du Magdalen College .

La programmation

Composition numérique

Dans les années 1970, les éditeurs de TAOCP abandonnent Monotype au profit de la photocomposition . Knuth est devenu tellement frustré par l'incapacité de ce dernier système à se rapprocher de la qualité des volumes précédents, qui étaient composés à l'aide de l'ancien système, qu'il a pris le temps de travailler sur la composition numérique et a créé TeX et Metafont .

Programmation littéraire

Tout en développant TeX, Knuth a créé une nouvelle méthodologie de programmation, qu'il a appelée la programmation littéraire , parce qu'il croyait que les programmeurs devraient considérer les programmes comme des œuvres littéraires. "Au lieu d'imaginer que notre tâche principale est d'enseigner à un ordinateur ce qu'il doit faire, concentrons-nous plutôt sur l'explication aux êtres humains de ce que nous voulons qu'un ordinateur fasse."

Knuth a incarné l'idée de la programmation littéraire dans le système WEB . La même source WEB est utilisée pour tisser un fichier TeX, et pour emmêler un fichier source Pascal . Ceux-ci produisent à leur tour une description lisible du programme et un binaire exécutable respectivement. Une itération ultérieure du système, CWEB , remplace Pascal par C .

Knuth a utilisé WEB pour programmer TeX et METAFONT, et a publié les deux programmes sous forme de livres : The TeXbook , qui est initialement publié en 1984, et The METAFONTbook , qui est initialement publié en 1986. À peu près à la même époque, LaTeX , la macro désormais largement adoptée package basé sur TeX, a d'abord été développé par Leslie Lamport , qui a ensuite publié son premier manuel d'utilisation en 1986.

Musique

Knuth est organiste et compositeur . En 2016, il a terminé une pièce musicale pour orgue intitulée Fantasia Apocalyptica , qu'il décrit comme "la traduction du texte grec de la Révélation de Saint Jean le Divin en musique". Il a été créé en Suède le 10 janvier 2018.

Vie privée

Donald Knuth a épousé Nancy Jill Carter le 24 juin 1961, alors qu'il était étudiant diplômé au California Institute of Technology. Ils ont deux enfants : John Martin Knuth et Jennifer Sierra Knuth.

nom chinois

Le nom chinois de Knuth est Gao Dena ( chinois simplifié :高德纳; chinois traditionnel :高德納; pinyin : Gāo Dénà ). En 1977, il reçoit ce nom de Frances Yao , peu de temps avant d'effectuer un voyage de 3 semaines en Chine . Dans la traduction chinoise de 1980 du volume 1 de The Art of Computer Programming ( chinois simplifié :计算机程序设计艺术; chinois traditionnel :電腦程式設計藝術; pinyin : Jìsuànjī chéngxù shèjì yìshù ), Knuth explique qu'il a adopté son nom chinois parce qu'il voulait être connu par le nombre croissant de programmeurs informatiques en Chine à l'époque. En 1989, son nom chinois a été placé au sommet du Journal of Computer Science et de la technologie de tête, ce qui Knuth dit « me fait me sentir proche de tous les Chinois , bien que je ne peux pas parler votre langue ».

Problèmes de santé

En 2006, Knuth a reçu un diagnostic de cancer de la prostate . Il a subi une intervention chirurgicale en décembre de la même année et a déclaré : "un peu de radiothérapie … par précaution mais le pronostic semble plutôt bon", comme il l'a rapporté dans son autobiographie vidéo.

Humour

Knuth payait des frais de recherche de 2,56 $ pour toute erreur typographique ou erreur découverte dans ses livres, car « 256 centimes équivaut à un dollar hexadécimal » et 0,32 $ pour les « suggestions précieuses ». Selon un article paru dans le Massachusetts Institute of Technology de Technology Review , ces contrôles de récompense Knuth sont « parmi les trophées les plus prisés de computerdom ». Knuth a dû cesser d'envoyer de vrais chèques en 2008 en raison d'une fraude bancaire, et donne désormais à chaque chercheur d'erreurs un « certificat de dépôt » à partir d'un solde coté publiquement dans sa « Banque de San Serriffe » fictive .

Il a un jour mis en garde un correspondant : « Méfiez-vous des bogues dans le code ci-dessus ; je l'ai seulement prouvé, je ne l'ai pas essayé. »

Knuth a publié son premier article "scientifique" dans un magazine scolaire en 1957 sous le titre "Le système de poids et mesures de Potrzebie ". Dans ce document, il a défini l' unité fondamentale de longueur comme l'épaisseur de Mad No. 26, et a nommé l'unité fondamentale de force "whatmeworry". Mad a publié l'article dans le numéro 33 (juin 1957).

Pour démontrer le concept de récursivité , Knuth a intentionnellement fait référence à « définition circulaire » et « définition, circulaire » l'un à l'autre dans l'index de L'art de la programmation informatique , volume 1 .

La préface de Mathématiques concrètes contient le paragraphe suivant :

Lorsque DEK a enseigné les mathématiques concrètes à Stanford pour la première fois, il a expliqué le titre quelque peu étrange en disant que c'était sa tentative d'enseigner un cours de mathématiques qui était difficile au lieu de doux. Il a annoncé que, contrairement aux attentes de ses collègues, il ne va enseigner la théorie des agrégats, ni Embedding théorème de Pierre , ni même la compactification Pierre-Čech . (Plusieurs étudiants du département de génie civil se sont levés et ont tranquillement quitté la salle.)

Lors de la conférence TUG 2010, Knuth a annoncé un successeur satirique basé sur XML à TeX, intitulé « iTeX » ( prononcé  [iː˨˩˦tɛks˧˥] , exécuté avec une sonnerie), qui prendrait en charge des fonctionnalités telles que les unités irrationnelles à l'échelle arbitraire , impression 3D , entrée de sismographes et de moniteurs cardiaques, animation et son stéréophonique.

Récompenses et honneurs

En 1971, Knuth a reçu le premier ACM Grace Murray Hopper Award . Il a reçu plusieurs autres prix dont le Turing Award , la National Medal of Science , la John von Neumann Medal et le Kyoto Prize .

Knuth a été élu membre distingué de la British Computer Society (DFBCS) en 1980 en reconnaissance des contributions de Knuth au domaine de l'informatique.

En 1990, il a reçu le titre académique unique en son genre de professeur de l'art de la programmation informatique , qui a depuis été révisé en professeur émérite de l'art de la programmation informatique .

Knuth a été élu à l' Académie nationale des sciences en 1975. Il a également été élu membre de l' Académie nationale d'ingénierie en 1981 pour avoir organisé de vastes domaines de l'informatique afin qu'ils soient accessibles à tous les segments de la communauté informatique. En 1992, il devient associé de l' Académie française des sciences . Cette année-là également, il a pris sa retraite de la recherche et de l'enseignement réguliers à l'Université de Stanford afin de terminer The Art of Computer Programming . Il a été élu membre étranger de la Royal Society (ForMemRS) en 2003 .

Knuth a été élu Fellow (première classe de Fellows) de la Society for Industrial and Applied Mathematics en 2009 pour ses contributions exceptionnelles aux mathématiques. Il est membre de l' Académie norvégienne des sciences et des lettres . En 2012, il est devenu membre de l' American Mathematical Society et membre de l' American Philosophical Society . Les autres prix et distinctions incluent :

Publications

Une courte liste de ses publications comprend :

L'art de la programmation informatique :

  1. ——— (1997). L'art de la programmation informatique . 1 : Algorithmes fondamentaux (3e éd.). Addison-Wesley Professionnel. ISBN 978-0-201-89683-1.
  2. ——— (1997). L'art de la programmation informatique . 2: Algorithmes séminumériques (3e éd.). Addison-Wesley Professionnel. ISBN 978-0-201-89684-8.
  3. ——— (1998). L'art de la programmation informatique . 3: Tri et recherche (2e éd.). Addison-Wesley Professionnel. ISBN 978-0-201-89685-5.
  4. ——— (2011). L'art de la programmation informatique . 4A : Algorithmes combinatoires. Addison-Wesley Professionnel. ISBN 978-0-201-03804-0.
  5. ——— (2005). MMIX—Un ordinateur RISC pour le nouveau millénaire . 1, Fascicule 1. ISBN 978-0-201-85392-6.
  6. ——— (2008). L'art de la programmation informatique . 4, Fascicule 0 : Introduction aux algorithmes combinatoires et aux fonctions booléennes. ISBN 978-0-321-53496-5.
  7. ——— (2009). L'art de la programmation informatique . 4, Fascicule 1 : Astuces et techniques au niveau des bits, Diagrammes de décision binaire. ISBN 978-0-321-58050-4.
  8. ——— (2005). L'art de la programmation informatique . 4, Fascicule 2 : Génération de tous les tuples et permutations. ISBN 978-0-201-85393-3.
  9. ——— (2005). L'art de la programmation informatique . 4, Fascicule 3 : Génération de toutes les combinaisons et partitions. ISBN 978-0-201-85394-0.
  10. ——— (2006). L'art de la programmation informatique . 4, Fascicule 4 : Génération de tous les arbres—Histoire de la génération combinatoire. ISBN 978-0-321-33570-8.
  11. ——— (2018). L'art de la programmation informatique . 4, Fascicule 5: Mathematical Preliminaries Redux, Backtracking, Dancing Links. ISBN 978-0-134-67179-6.
  12. ——— (2015). L'art de la programmation informatique . 4, Fascicule 6 : Satisfaction. ISBN 978-0-134-39760-3.

Ordinateurs et composition (tous les livres sont à couverture rigide, sauf indication contraire) :

  1. ——— (1984). Informatique et composition . A, Le TeXbook. Reading, MA : Addison-Wesley. ISBN 978-0-201-13447-6., x+483pp.
  2. ——— (1984). Informatique et composition . A, Le TeXbook. Reading, MA : Addison-Wesley. ISBN 978-0-201-13448-3. (couverture souple).
  3. ——— (1986). Informatique et composition . B, TeX : Le programme. Reading, MA : Addison-Wesley. ISBN 978-0-201-13437-7., xviii+600pp.
  4. ——— (1986). Informatique et composition . C, Le livre METAFONT. Reading, MA : Addison-Wesley. ISBN 978-0-201-13445-2., xii+361pp.
  5. ——— (1986). Informatique et composition . C, Le livre METAFONT. Reading, MA : Addison-Wesley. ISBN 978-0-201-13444-5. (couverture souple).
  6. ——— (1986). Informatique et composition . D, METAFONT : Le programme. Reading, MA : Addison-Wesley. ISBN 978-0-201-13438-4., xviii+566pp.
  7. ——— (1986). Informatique et composition . E, Caractères modernes de l'ordinateur. Reading, MA : Addison-Wesley. ISBN 978-0-201-13446-9., xvi+588pp.
  8. ——— (2000). Informatique et composition . Coffret AE. Reading, MA : Addison-Wesley. ISBN 978-0-201-73416-4.

Livres de papiers collectés :

  1. ——— (1992). Programmation alphabétisée . Notes de lecture. Stanford, CA : Centre d'étude du langage et de l'information —CSLI. ISBN 978-0-937073-80-3.
  2. ——— (1996). Articles choisis sur l'informatique . Notes de lecture. Stanford, CA : Centre d'étude du langage et de l'information—CSLI. ISBN 978-1-881526-91-9.
  3. ——— (1999). Typographie numérique . Notes de lecture. Stanford, CA : Centre d'étude du langage et de l'information—CSLI. ISBN 978-1-57586-010-7.
  4. ——— (2000). Articles choisis sur l'analyse des algorithmes . Notes de lecture. Stanford, CA : Centre d'étude du langage et de l'information—CSLI. ISBN 978-1-57586-212-5.
  5. ——— (2003). Articles choisis sur les langages informatiques . Notes de lecture. Stanford, CA : Centre d'étude du langage et de l'information—CSLI. ISBN 978-1-57586-381-8., ISBN  1-57586-382-0 (broché)
  6. ——— (2003). Articles choisis sur les mathématiques discrètes . Notes de lecture. Stanford, CA : Centre d'étude du langage et de l'information—CSLI. ISBN 978-1-57586-249-1., ISBN  1-57586-248-4 (broché)
  7. Donald E. Knuth, Selected Papers on Design of Algorithms (Stanford, Californie : Center for the Study of Language and Information—CSLI Lecture Notes, n° 191), 2010. ISBN  1-57586-583-1 (tissu), ISBN  1 -57586-582-3 (broché)
  8. Donald E. Knuth, Selected Papers on Fun and Games (Stanford, Californie : Center for the Study of Language and Information—CSLI Lecture Notes, n° 192), 2011. ISBN  978-1-57586-585-0 (tissu), ISBN  978-1-57586-584-3 (broché)
  9. Donald E. Knuth, Companion to the Papers of Donald Knuth (Stanford, Californie : Center for the Study of Language and Information—CSLI Lecture Notes, n° 202), 2011. ISBN  978-1-57586-635-2 (tissu) , ISBN  978-1-57586-634-5 (broché)

Autres livres :

  1. Graham, Ronald L ; Knuth, Donald E.; Patashnik, Oren (1994). Mathématiques concrètes: Une fondation pour l'informatique (Deuxième éd.). Reading, MA : Addison-Wesley. ISBN 978-0-201-55802-9. MR  1397498 . xiv+657 p.
  2. Knuth, Donald Ervin (1974). Chiffres surréalistes : comment deux ex-étudiants se sont tournés vers les mathématiques pures et ont trouvé le bonheur total : une nouvelle mathématique . Addison-Wesley. ISBN 978-0-201-03812-5.
  3. Donald E. Knuth, The Stanford GraphBase: A Platform for Combinatorial Computing (New York, ACM Press) 1993. deuxième édition de poche 2009. ISBN  0-321-60632-9
  4. Donald E. Knuth, 3:16 Bible Texts Illuminated (Madison, Wisconsin: AR Editions), 1990. ISBN  0-89579-252-4
  5. Donald E. Knuth, Things a Computer Scientist Rarement Talks About (Center for the Study of Language and Information—CSLI Lecture Notes no 136), 2001. ISBN  1-57586-326-X
  6. Donald E. Knuth, MMIXware : A RISC Computer for the Third Millennium (Heidelberg : Springer-Verlag— Lecture Notes in Computer Science, n° 1750), 1999. viii+550pp. ISBN  978-3-540-66938-8
  7. Donald E. Knuth et Silvio Levy, The CWEB System of Structured Documentation (Reading, Massachusetts : Addison-Wesley), 1993. iv+227pp. ISBN  0-201-57569-8 . Troisième impression 2001 avec support hypertexte, ii + 237 pp.
  8. Donald E. Knuth, Tracy L. Larrabee et Paul M. Roberts, Écriture mathématique (Washington, DC : Mathematical Association of America), 1989. ii+115pp
  9. Daniel H. Greene et Donald E. Knuth, Mathematics for the Analysis of Algorithms (Boston : Birkhäuser), 1990. viii+132pp.
  10. Donald E. Knuth, Mariages Stables : et leurs relations avec d'autres problèmes combinatoires (Montréal : Les Presses de l'Université de Montréal) , 1976. 106 p.
  11. Donald E. Knuth, Axioms and Hulls (Heidelberg : Springer-Verlag—Lecture Notes in Computer Science, n° 606), 1992. ix+109pp. ISBN  3-540-55611-7

Voir également

Les références

Bibliographie

Liens externes