Кейт Геддес |
---|
Кит Оливер Геддес (родился в 1947 году) является заслуженным профессором в Дэвиде Р. Cheriton Школе компьютерных наук в рамках факультета математики в Университете Ватерлоо в Ватерлоо, Онтарио . Он бывший директор группы символических вычислений в школе компьютерных наук . Он получил степень бакалавра математики в Университете Саскачевана в 1968 году; он получил степень магистра и доктора компьютерных наук в Университете Торонто .
Геддес, вероятно, наиболее известен как соучредитель системы компьютерной алгебры Maple , которая сейчас широко используется в академических кругах по всему миру. Он также является научным директором Исследовательского центра компьютерной алгебры Онтарио и является членом Ассоциации вычислительной техники , а также Американского и Канадского математических обществ.
Исследование [ править ]
Главный исследовательский интерес Геддеса - разработка алгоритмов механизации математики. В частности, его интересуют вычислительные аспекты алгебры и анализа. В настоящее время он занимается разработкой гибридных символьно-числовых алгоритмов для выполнения определенного интегрирования и решения обыкновенных и дифференциальных уравнений в частных производных .
Большая часть его работ в настоящее время вращается вокруг Maple .
Обучение [ править ]
Геддес ушел с преподавания в декабре 2008 года. Геддес преподавал как старшие курсы по символическим вычислениям, так и на уровне бакалавриата и магистратуры, а также вводные курсы по принципам информатики .
См. Также [ править ]
- Система компьютерной алгебры Maple
- Клен Ватерлоо
- Гастон Гонне - соучредитель Waterloo Maple
- Алгоритм риша
- Символическая интеграция
- Производные неполной гамма-функции