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

George E. Collins

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

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

Избранные публикации

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

Рекомендации

  1. ^ а б "In Memoriam: заслуженный профессор Джордж Э. Коллинз". Архивировано из оригинал на 2018-09-09. Получено 2017-12-12.
  2. ^ Джонс, Ричард; Линс, Рафаэль (1996), Сборка мусора: алгоритмы автоматического управления динамической памятью, Wiley, стр. 40, ISBN 9780471941484, Первый, хотя и громоздкий и подверженный ошибкам, метод подсчета ссылок был описан J. Gelertner, J.R. Hansen и C.L. Герберих [Gelernter et al, 1960], но стандартный алгоритм подсчета ссылок принадлежит Джорджу Коллинзу [Collins, 1960].
  3. ^ Полость, Боб Ф .; Джонсон, Джереми Р., ред. (1998), Исключение кванторов и цилиндрическое алгебраическое разложение, Springer, стр. v, ISBN 9783211827949, Симпозиум по устранению кванторов и цилиндрической алгебраической декомпозиции состоялся 6–8 октября 1993 г. ... симпозиум был отмечен 20-летием открытия Джорджем Коллинзом цилиндрической алгебраической декомпозиции (CAD) как метода исключения кванторов (QE) для элементарных теория реальных замкнутых полей (Collins 1973b), и была посвящена многим достижениям в этой области со времени открытия Коллинза.
  4. ^ http://www.genealogy.ams.org/id.php?id=75933