stringtranslate.com

Кит Геддес

Кит Оливер Геддес (родился в 1947 году) — почетный профессор Школы компьютерных наук Дэвида Р. Черитона на факультете математики в Университете Ватерлоо в Ватерлоо, Онтарио . Он бывший директор Группы символических вычислений в Школе компьютерных наук . Он получил степень бакалавра по математике в Университете Саскачевана в 1968 году; он получил степени магистра и доктора наук по компьютерным наукам в Университете Торонто .

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

Исследовать

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

Большая часть его работы в настоящее время посвящена кленовому листу .

Преподавание

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

Смотрите также

Внешние ссылки