George Edwin Collins, né le à Stuart (Iowa) et mort le à Madison (Wisconsin) est un mathématicien et informaticien théoricien américain. Il est l'inventeur du ramasse-miettes par comptage de références. et de la méthode de décomposition cylindrique algébrique.. 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 : ).. 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 de 1972 à 1974.
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)
— Hauptvortrag
— Réimpression du Hauptvortrag de 1975.
Notes et références
Liens externes
Publications de George E. Collins sur DBLP
Catégorie:Naissance en janvier 1928 Catégorie:Naissance dans le comté d'Adair (Iowa) Catégorie:Personnalité américaine de l'informatique Catégorie:Mathématicien américain du XXe siècle Catégorie:Mathématicien américain du XXIe siècle Catégorie:Décès en novembre 2017 Catégorie:Décès à 89 ans Catégorie:Décès à Madison (Wisconsin)