Кит Геддес

Кит Геддес (англ. Keith Geddes) — канадский математик, специалист в области компьютерной алгебры, систем автоматизации математических вычислений и символьных вычислений. Наиболее известен как один из создателей системы компьютерной алгебры Maple, а также как автор фундаментальных работ по алгоритмам символьного интегрирования и теории базисов Грёбнера.

Биография

Кит Геддес родился в Канаде. Точная дата рождения в открытых источниках часто не указывается, однако его активная научная деятельность приходится на вторую половину XX века. Получил степень бакалавра в Университете Ватерлоо (Канада), где впоследствии защитил докторскую диссертацию (Ph.D.) по математике. Основные научные интересы Геддеса сформировались под влиянием работ по символьным вычислениям, которые в 1960–1970-х годах переживали бурное развитие.

В 1980 году Геддес вместе с коллегами из Университета Ватерлоо — Гастоном Гонне (Gaston Gonnet) и другими — начал разработку системы компьютерной алгебры Maple. Первоначально проект задумывался как инструмент для облегчения символьных вычислений в учебных и исследовательских целях. Первая версия Maple была выпущена в 1982 году. Геддес внёс значительный вклад в алгоритмическую основу системы, особенно в области символьного интегрирования и решения дифференциальных уравнений.

В дальнейшем Геддес продолжал работать в Университете Ватерлоо, занимая должность профессора кафедры математики. Он также участвовал в развитии коммерческой версии Maple, которая с 1988 года распространялась компанией Waterloo Maple Inc. (впоследствии Maplesoft). Помимо разработки Maple, Геддес вёл активную научную работу, публикуя статьи в ведущих математических журналах.

Научный вклад

Система компьютерной алгебры Maple

Основной вклад Кита Геддеса в математику и информатику связан с созданием и развитием Maple. Эта система стала одной из наиболее популярных сред для символьных вычислений, наряду с Mathematica и MATLAB. Maple предоставляет возможности для работы с алгебраическими выражениями, дифференциальными уравнениями, матрицами, графиками и многими другими математическими объектами. Геддес участвовал в разработке алгоритмов, лежащих в основе ядра системы, включая алгоритмы упрощения выражений, символьного интегрирования и решения полиномиальных уравнений.

Алгоритмы символьного интегрирования

Геддес внёс существенный вклад в теорию и практику символьного интегрирования — области, которая занимается нахождением аналитических первообразных для заданных функций. Он разработал и усовершенствовал алгоритмы, основанные на методе Риша (Risch algorithm), который позволяет определять, имеет ли элементарная функция элементарную первообразную, и если да — находить её. Работы Геддеса в этой области помогли сделать символьное интегрирование более эффективным и надёжным в рамках Maple.

Базисы Грёбнера

Геддес также занимался теорией базисов Грёбнера — мощного инструмента для решения систем полиномиальных уравнений, применяемого в алгебраической геометрии, теории кодирования и других областях. Он предложил алгоритмы для вычисления базисов Грёбнера и их оптимизации, что позволило использовать эти методы в практических вычислениях, в том числе в Maple.

Учебная и методическая работа

Кит Геддес является соавтором нескольких учебных пособий и монографий по компьютерной алгебре. Наиболее известная его книга — «Algorithms for Computer Algebra» (в соавторстве с Стивеном Чапманом и Джорджем Лабоном), которая стала классическим учебником по алгоритмам символьных вычислений. В этой книге подробно рассматриваются методы факторизации полиномов, нахождения наибольших общих делителей, символьного интегрирования и другие темы. Книга используется в университетских курсах по компьютерной алгебре во многих странах мира.

Признание и наследие

Хотя Кит Геддес не получил широкой известности за пределами профессионального сообщества, его вклад в развитие компьютерной алгебры признаётся значительным. Система Maple, созданная при его участии, используется тысячами исследователей, инженеров и преподавателей по всему миру. Алгоритмы, разработанные Геддесом, легли в основу многих современных математических пакетов.

В научных кругах Геддес известен как один из пионеров символьных вычислений, который способствовал превращению компьютерной алгебры из узкой области теоретической информатики в практически применимый инструмент. Его работы продолжают цитироваться в современных исследованиях по алгоритмам символьных вычислений и их приложениям.

Интересные факты

• Название «Maple» (с англ. — «клён») было выбрано разработчиками как отсылка к канадскому символу — кленовому листу, изображённому на флаге Канады.
• Первая версия Maple была написана на языке C и работала на компьютерах с операционной системой VMS.
• Кит Геддес, несмотря на коммерческий успех Maple, продолжал заниматься академической наукой и преподаванием, не переходя полностью в частный сектор.

Источники

• Geddes, K. O., Czapor, S. R., Labahn, G. (1992). Algorithms for Computer Algebra. Springer.
• MapleSoft. (2020). History of Maple. Waterloo Maple Inc.
• Университет Ватерлоо. (2005). Faculty profile: Keith Geddes. Department of Computer Science.
• Статьи в журналах «Journal of Symbolic Computation» и «ACM Transactions on Mathematical Software».