George E. Collins

George E. Collins Biografie

Geburt	10. Januar 1928 Iowa
Tod	21. November 2017(bei 89) Madison
Staatsangehörigkeit	amerikanisch
Ausbildung	Cornell Universität
Aktivitäten	Informatiker , Mathematiker

Andere Informationen

Supervisor	John Barkley Rosser
Unterscheidung	ACM Fellow (2004)

George Edwin Collins , geboren am10. Januar 1928in Stuart (Iowa) und starb am21. November 2017in Madison (Wisconsin) und ein Mathematiker und Computertheoretiker US . Er ist der Erfinder der Garbage Collection durch Referenzzählung und der algebraischen zylindrischen Zerlegungsmethode in der algebraischen Analysis .

Karriere und Arbeit

George E. Collins erhielt 1951 einen B. Sc. Von der Iowa State University und 1955 einen Ph. D. von der Cornell University unter der Aufsicht von John Barkley Rosser (Titel der Dissertation: „  Die Modellierung von Zermelo-Mengen-Theorien in neuen Grundlagen)  ” ). Anschließend arbeitete er am IBM Watson Research Center in Yorktown Heights, New York. Seit 1967 verbrachte er den größten Teil seiner Karriere in der Informatikabteilung der University of Wisconsin in Madison , wo er 1972-74 die Abteilung leitete.

Seine Arbeit befasst sich mit Algorithmen in der Computeralgebra . Sein erstes Computeralgebrasystem, das PM-System , war ein Polynom-Manipulationssystem, was ihn dazu veranlasste, sich für die effiziente Berechnung des gcd zweier Polynome zu interessieren. Er hat nicht nur über die zylindrische Zerlegung veröffentlicht, sondern auch grundlegende Beiträge zur Berechnung des gcd von Polynomen, zu Algorithmen für Resultierende und Teilergebnisse, zur Faktorisierung von Polynomen und zur Isolierung realer Wurzeln geleistet .

George E. Collins ist seit 2004 Fellow der Association for Computing Machinery "für seine Beiträge zum symbolischen Computing". Der erste seiner Schüler ist Ellis Horowitz.

Veröffentlichungen (Auswahl)

• [1960] George E. Collins, "  Eine Methode zum Überlappen und Löschen von Listen  ", Commun. ACM , vol.  3, n o  12,1960, p.  655-657 ( DOI  10.1145 / 367487.367501 )
• [1966] George E. Collins, "  PM, ein System zur Polynommanipulation  ", Commun. ACM , vol.  9, n o  8,1966, p.  578-589 ( DOI  10.1145 / 365758.365770 )
• [1974] George E. Collins , "  Quantifizierereliminierung für reale geschlossene Felder durch zylindrische algebraische Zerlegung - vorläufiger Bericht  ", ACM SIGSAM Bulletin , vol.  8, n o  3,1974, p.  80–90 ( ISSN  0163-5824 , DOI  10.1145 / 1086837.1086852 )
• [1975] George E. Collins, "  Quantifizierereliminierung für die Elementartheorie realer geschlossener Felder durch zylindrische algebraische Zerlegung  ", Second GI Conf. Automatentheorie und formale Sprachen , Springer, Vorlesungsskript in Informatik,1975, p.  134-183 ( online lesen ) - Hauptvortrag
• [1976] George E. Collins , "  Quantifizierereliminierung für reale geschlossene Felder durch zylindrische algebraische Zerlegung  ", ACM SIGSAM Bulletin , vol.  10, n o  1,1976, p.  10-12 ( ISSN  0163-5824 , DOI  10.1145 / 1093390.1093393 )
• [1998a] George E. Collins, "Quantifizierereliminierung für reale geschlossene Felder durch zylindrische algebraische Zerlegung" , in Quantifizierereliminierung und zylindrische algebraische Zerlegung (Linz, 1993) , Wien, Springer, Slg.  „Texte Monogr. Symbol. Comput. ",1988( Math Reviews  1634190 ) , p.  85-121 - Nachdruck des Hauptvortrags von 1975.
• [1998b] George E. Collins, "Quantifizierung der Eliminierung durch zylindrische algebraische Zerlegung - zwanzig Jahre Fortschritt" , in Quantifizierung der Eliminierung und der zylindrischen algebraischen Zerlegung (Linz, 1993) , Wien, Springer, al.  „Texte Monogr. Symbol. Comput. ",1988( Math Reviews  1634188 ) , p.  8-23

Anmerkungen und Referenzen

• (fr) Dieser Artikel stammt teilweise oder vollständig aus dem englischen Wikipedia- Artikel "  George E. Collins  " ( siehe Autorenliste ) .

1. Collins 1960 .
2. Richard Jones und Rafael Lins , Garbage Collection: Algorithmen für die automatische dynamische Speicherverwaltung , Wiley,1996377  p. ( ISBN  978-0-471-94148-4 ) , p.  40

   „Die erste, wenn auch umständliche und fehleranfällige Referenzzählungstechnik wurde von J. Gelertner, JR Hansen und CL Gerberich (...) beschrieben, aber der Standard-Referenzzählalgorithmus stammt von George Collins. ""

3. Collins 1975 .
4. Mohab Safey El Din, „  Effiziente Algorithmen in realer algebraischer Geometrie  “ , PolSys , LIP6 (Laboratoire d'Informatique de Paris VI,Januar 2007(abgerufen am 28. November 2017 ) ,p.  30, Abschnitt 3.5 Bibliographische Anmerkungen und Kommentare.
5. Bob F. Caviness und Jeremy R. Johnson (Hrsg.), Quantifizierereliminierung und zylindrische algebraische Zerlegung , Springer,1998431  p. ( ISBN  978-3-211-82794-9 , online lesen ) , Seite v

   "Das Symposium feierte den 20. Jahrestag von George Collins 'Entdeckung der zylindrischen algebraischen Zerlegung (CAD) als Methode zur Quantifizierereliminierung (QE) für die Elementartheorie realer geschlossener Felder und widmete sich den vielen Fortschritten in diesem Bereich seit Collins' Entdeckung. ""

6. (in) "  George Edwin Collins  " auf der Website des Mathematics Genealogy Project .

Externe Links

• Veröffentlichungen von George E. Collins über DBLP