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

редактировать

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

Он получил докторскую степень в Корнельский университет в 1955 году. Он работал в IBM, Университете Висконсин-Мэдисон (1966–1986) Государственный университет Огайо, RISC-Linz, Университет штата Делавэр и Государственный университет Северной Каролины.

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

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

Ссылки

.

Последняя правка сделана 2021-05-21 04:13:37
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте