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