Джордж Э. Коллинз

Джордж Эдвин Коллинз
Рожденный ( 1928-01-10 ) 10 января 1928 г.
Умер 21 ноября 2017 г. ) ( 21.11.2017 ) ( 89 лет
Национальность Американский
Альма-матер Корнелльский университет
Известный Сбор мусора (информатика)
Научная карьера
Учреждения Университет Висконсина-Мэдисона , Университет штата Огайо , RISC-Линц , Университет Делавэра , Университет штата Северная Каролина
Докторантура Дж. Баркли Россер
Докторанты Эллис Горовиц

Джордж Э. Коллинз (10 января 1928 г. в Стюарте, штат Айова - 21 ноября 2017 г. в Мэдисоне, штат Висконсин ) [1] был американским математиком и ученым-компьютерщиком . Он изобретатель сбора мусора путем подсчета ссылок. [G60] [2] и метода устранения кванторов цилиндрическим алгебраическим разложением . [G75] [3]

В 1955 году он получил докторскую степень в Корнелльском университете . [4] Он работал в IBM , Университете Висконсин-Мэдисон (1966–1986) , Университете штата Огайо , RISC-Линце , Университете Делавэра и Университете штата Северная Каролина . [1]

Избранные публикации [ править ]

G60.
Джордж Э. Коллинз: метод перекрытия и стирания списков, Commun. АКМ, том 3, номер 12, 1960.
G75.
Джордж Э. Коллинз: Устранение кванторов для элементарной теории действительных замкнутых полей путем цилиндрического алгебраического разложения, Вторая конференция GI. Теория автоматов и формальные языки, Springer LNCS 33, 1975.

Ссылки [ править ]

  1. ^ Jump up to: а б «В память о почетном профессоре Джордже Э. Коллинзе» . Архивировано из оригинала 9 сентября 2018 г. Проверено 12 декабря 2017 г.
  2. ^ Джонс, Ричард; Линс, Рафаэль (1996), Сбор мусора: алгоритмы автоматического управления динамической памятью , Wiley, с. 40, ISBN  9780471941484 Первый , хотя и громоздкий и подверженный ошибкам метод подсчета ссылок был описан Х. Гелертнером , Дж. Р. Хансеном и К. Л. Герберихом [Gelernter et al, 1960], но стандартный алгоритм подсчета ссылок принадлежит Джорджу Коллинзу [Коллинз, 1960]. .
  3. ^ Кавинесс, Боб Ф.; Джонсон, Джереми Р., ред. (1998), Устранение кванторов и цилиндрическая алгебраическая декомпозиция , Springer, p. в, ISBN  9783211827949 Симпозиум по устранению кванторов и цилиндрической алгебраической декомпозиции состоялся 6–8 октября 1993 г. ... симпозиум отметил 20-летие открытия Джорджем Коллинзом цилиндрической алгебраической декомпозиции (CAD) как метода устранения кванторов (QE) для элементарная теория реальных закрытых полей (Коллинз 1973b) и была посвящена многочисленным достижениям в этой области со времени открытия Коллинза.
  4. ^ «Джордж Коллинз — проект математической генеалогии» .