Йорис ван дер Хувен - Joris van der Hoeven
Йорис ван дер Хувен | |
|---|---|
 Слева направо: Сяо-Шань Гао, Йорис ван дер Хувен, 2006 г. | |
| Родился | 1971 (48–49 лет) |
| Альма-матер | Парижский университет Дидро |
| Награды |
|
| Научная карьера | |
| Поля | Информатика, Математика |
| Учреждения | École Polytechnique |
| Тезис | Асимптотическая автоматика (1997) |
| Докторант | Жан-Марк Стейярт |
Йорис ван дер Хувен (1971 г.р.) - голландский математик и ученый-компьютерщик, специализирующийся на алгебраический анализ и компьютерная алгебра.
Йорис ван дер Хувен получил в 1997 году докторскую степень в Парижский университет Дидро (Париж 7) с диссертацией Асимптотическая автоматика.[1] Он Directeur de recherche на CNRS и руководитель команды Max Modélisation algébrique в Лаборатории информатики École Polytechnique.[2]
Его исследование посвящено transseries (т.е. обобщения формальный степенной ряд ) с приложениями к алгебраическому анализу и асимптотическим решениям нелинейные дифференциальные уравнения. В дополнение к объектам транссерий в составе дифференциальная алгебра и теория моделей, он также исследует их алгоритмические аспекты, а также аспекты классической теории сложных функций.
Он главный разработчик GNU TeXmacs (бесплатная научная платформа для редактирования)[3] и Mathemagix (бесплатное программное обеспечение, система компьютерной алгебры и анализа).[4]
В 2018 году он был приглашенным спикером (с Маттиас Ашенбреннер и Лу ван ден Дрис ) с разговором О числах, ростках и транссериях на Международный конгресс математиков в Рио де Жанейро.[5][6] В 2018 году все трое получили Приз Карпа.[7]
Избранные публикации
Статьи
- ван дер Хувен, Йорис (1999). «Быстрое вычисление голономных функций». Теоретическая информатика. 210: 199–215. Дои:10.1016 / S0304-3975 (98) 00102-9.
- ван дер Хувен, Йорис (2001). «Быстрое вычисление голономных функций вблизи и в регулярных особенностях». Журнал символических вычислений. 31 (6): 717–743. Дои:10.1006 / jsco.2000.0474. 2001
- ван дер Хувен, Йорис (2002). «Расслабься, но не ленись». Журнал символических вычислений. 34 (6): 479–542. Дои:10.1006 / jsco.2002.0562. 2002
- ван дер Хувен, Йорис (2010). «Метод Ньютона и торговля БПФ». Журнал символических вычислений. 45 (8): 857–878. Дои:10.1016 / j.jsc.2010.03.005.
- Харви, Дэвид; ван дер Хувен, Йорис; Лесерф, Грегуар (2016). «Еще более быстрое целочисленное умножение» (PDF). Журнал сложности. 36: 1–30. arXiv:1407.3360. Дои:10.1016 / j.jco.2016.03.001. 2016
- ван дер Хувен, Йорис; Лесерф, Грегуар; Квинтин, Гийом (2016). «Модульная арифметика SIMD в Mathemagix». Транзакции ACM на математическом ПО. 43: 1–37. arXiv:1407.3383. Дои:10.1145/2876503. 2016
- Харви, Дэвид; ван дер Хувен, Йорис; Лесерф, Грегуар (2017). «Более быстрое умножение полиномов над конечными полями» (PDF). Журнал ACM. 63 (6): 1–23. Дои:10.1145/3005344. 2017
Книги
- Транссерии и вещественная дифференциальная алгебра, Springer 2006 г.
- с Лу ван ден Дрис, Маттиас Ашенбреннер: Асимптотическая дифференциальная алгебра и модельная теория транссерий, Annals of Mathematics Studies 195, Princeton University Press, 2017 г.
использованная литература
- ^ Йорис ван дер Хувен на Проект "Математическая генеалогия"
- ^ "Йорис ван дер Хувен". TeXmacs.
- ^ GNU Texmacs
- ^ Mathemagix
- ^ Aschenbrenner, M .; van den Dries, L .; ван дер Хувен, Дж. (2017). «О числах, микробах и транссериях». arXiv:1711.06936 [math.LO ].
- ^ «Пленарное заседание ICM и приглашенные спикеры». Международный математический союз. Получено 12 мая, 2020.
- ^ «Лауреаты премии Карпа». Ассоциация символической логики. В архиве с оригинала 22 июля 2019 г.. Получено 27 января, 2020.
