George E. Collins - George E. Collins

George E. Collins (10. ledna 1928 v Stuart, Iowa - 21. listopadu 2017 v Madison, Wisconsin )[1] byl Američan matematik a počítačový vědec. Je vynálezcem odvoz odpadu podle počítání referencí[G60][2]a metody eliminace kvantifikátoru podle válcový algebraický rozklad.[G75][3]

Titul PhD získal od Cornell University v roce 1955.[4] Pracoval v IBM, University of Wisconsin – Madison (1966–1986) Ohio State University, RISC-Linec, Univerzita v Delaware, a Státní univerzita v Severní Karolíně.[1]

Vybrané publikace

G60.George E. Collins: Metoda překrývání a mazání seznamů, Commun. ACM, svazek 3, číslo 12, 1960.
G75.George E. Collins: Eliminace kvantifikátoru pro elementární teorii reálných uzavřených polí válcovým algebraickým rozkladem, Second GI Conf. Teorie automatů a formální jazyky, Springer LNCS 33, 1975.

Reference

  1. ^ A b „In Memoriam: Emeritní profesor George E. Collins“. Archivovány od originál dne 09.09.2018. Citováno 2017-12-12.
  2. ^ Jones, Richard; Lins, Rafael (1996), Garbage collection: algoritmy pro automatickou správu dynamické paměti, Wiley, str. 40, ISBN  9780471941484, První, i když těžkopádnou a náchylnou k chybám, techniku ​​počítání referencí popsali J. Gelertner, J.R. Hansen a C.L. Gerberich [Gelernter et al, 1960], ale standardní algoritmus počítání referencí je způsoben Georgem Collinsem [Collins, 1960].
  3. ^ Caviness, Bob F .; Johnson, Jeremy R., eds. (1998), Eliminace kvantifikátoru a válcový algebraický rozklad, Springer, str. proti, ISBN  9783211827949, Sympózium o eliminaci kvantifikátoru a válcovém algebraickém rozkladu se konalo ve dnech 6. – 8. Října 1993 ... sympozium oslavilo 20. výročí objevu Collinsova rozkladu (CAD) Georgem Collinsem jako metody eliminace kvantifikátoru (QE) pro elementární teorie skutečných uzavřených polí (Collins 1973b) a byla věnována mnoha pokrokům v tomto předmětu od Collinsova objevu.
  4. ^ http://www.genealogy.ams.org/id.php?id=75933