George E. Collins

George E. Collins
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata
StuartVoir et modifier les données sur Wikidata
Décès
Voir et modifier les données sur Wikidata (à 89 ans)
MadisonVoir et modifier les données sur Wikidata
Nationalité
américaineVoir et modifier les données sur Wikidata
Formation
Activités
Informaticien, mathématicienVoir et modifier les données sur Wikidata
Autres informations
Membre de
Directeur de thèse
John Barkley RosserVoir et modifier les données sur Wikidata
Distinction
ACM Fellow ()Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

George Edwin Collins, né le à Stuart (Iowa) et mort le à Madison (Wisconsin) et un mathématicien et informaticien théoricien américain. Il est l'inventeur du ramasse-miettes par comptage de références[1],[2] et de la méthode de décomposition cylindrique algébrique[3],[4],[5] en calcul formel.

Carrière et travaux

George E. Collins obtient un B. Sc. à l'université d'État de l'Iowa en 1951 puis un Ph. D. à l'université Cornell en 1955, sous la supervision de John Barkley Rosser (titre de la thèse : « The Modeling of Zermelo Set Theories in New Foundations »)[6]. Il travaille ensuite au IBM Watson Research Center, Yorktown Heights, New York, et depuis 1967 il passe l'essentiel de sa carrière au département d'informatique de l'université du Wisconsin à Madison, où il dirige le département en 1972-74.

Ses travaux concernent les algorithmes en calcul formel. Son premier système de calcul formel, le PM system, est un système de manipulation de polynômes, ce qui l’amène à s’intéresser au calcul efficace du pgcd de deux polynômes. Il a publié non seulement sur la décomposition cylindrique, mais a également fait des contributions fondamentales dans le calcul du pgcd de polynômes, les algorithmes pour les résultants et sous-résultants, la factorisation des polynômes et l'isolation de racines réelles.

George E. Collins est Fellow l'Association for Computing Machinery depuis 2004 « pour ses contributions au calcul symbolique ». Le premier de ses élèves est Ellis Horowitz.

Publications (sélection)

  • [1960] George E. Collins, « A Method for Overlapping and Erasure of Lists », Commun. ACM, vol. 3, no 12,‎ , p. 655-657 (DOI 10.1145/367487.367501)
  • [1966] George E. Collins, « PM, a system for polynomial manipulation », Commun. ACM, vol. 9, no 8,‎ , p. 578-589 (DOI 10.1145/365758.365770)
  • [1974] George E. Collins, « Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary report », ACM SIGSAM Bulletin, vol. 8, no 3,‎ , p. 80–90 (ISSN 0163-5824, DOI 10.1145/1086837.1086852)
  • [1975] George E. Collins, « Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition », Second GI Conf. Automata Theory and Formal Languages, Springer, lecture Notes in Computer Science,‎ , p. 134-183 (lire en ligne) — Hauptvortrag
  • [1976] George E. Collins, « Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition », ACM SIGSAM Bulletin, vol. 10, no 1,‎ , p. 10–12 (ISSN 0163-5824, DOI 10.1145/1093390.1093393)
  • [1998a] George E. Collins, « Quantifier elimination for real closed fields by cylindrical algebraic decomposition », dans Quantifier elimination and cylindrical algebraic decomposition (Linz, 1993), Vienne, Springer, coll. « Texts Monogr. Symbol. Comput. », (MR 1634190), p. 85-121 — Réimpression du Hauptvortrag de 1975.
  • [1998b] George E. Collins, « Quantifier elimination by cylindrical algebraic decomposition—twenty years of progress », dans Quantifier elimination and cylindrical algebraic decomposition (Linz, 1993), Vienne, Springer, coll. « Texts Monogr. Symbol. Comput. », (MR 1634188), p. 8-23

Notes et références

  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « George E. Collins » (voir la liste des auteurs).
  1. ↑ Collins 1960.
  2. ↑ Richard Jones et Rafael Lins, Garbage collection : algorithms for automatic dynamic memory management, Wiley, , 377 p. (ISBN 978-0-471-94148-4), p. 40

    « The first, though cumbersome and error-prone, reference counting technique was described by J. Gelertner, J.R. Hansen, and C.L. Gerberich (...) but the standard reference counting algorithm is due to George Collins. »

  3. ↑ Collins 1975.
  4. ↑ Mohab Safey El Din, « Algorithmes efficaces en géométrie algébrique réelle », PolSys, LIP6 (Laboratoire d'Informatique de Paris VI, (consulté le ), p. 30, section 3.5 Notes bibliographiques et commentaires.
  5. ↑ Bob F. Caviness et Jeremy R. Johnson (éditeurs), Quantifier elimination and cylindrical algebraic decomposition, Springer, , 431 p. (ISBN 978-3-211-82794-9, lire en ligne), page v

    « The symposium celebrated the 20th anniversary of George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields, and was devoted to the many advances in this subject since Collins' discovery. »

  6. ↑ (en) « George Edwin Collins », sur le site du Mathematics Genealogy Project.

Liens externes

  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Mathematics Genealogy Project
  • Notice dans un dictionnaire ou une encyclopédie généralisteVoir et modifier les données sur Wikidata :
    • Deutsche Biographie
  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • VIAF
    • ISNI
    • LCCN
    • GND
    • Pays-Bas
    • Israël
    • NUKAT
    • Tchéquie
    • WorldCat
  • Publications de George E. Collins sur DBLP
  • icône décorative Portail des mathématiques
  • icône décorative Portail de l'informatique théorique