Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Йорис ван дер Хувен
Хувен джорис ван дер гао сяо-шань.jpg
Слева направо: Сяо-Шань Гао, Йорис ван дер Хувен, 2006 г.
Родившийся1971 (49–50 лет)
Альма-матерПарижский университет Дидро
Награды
Научная карьера
ПоляИнформатика , математика
УчрежденияÉcole Polytechnique
ТезисАвтоматическая асимптотика  (1997)
ДокторантЖан-Марк Стейярт

Йорис ван дер Ховен (1971 г.р.) - голландский математик и ученый-компьютерщик, специализирующийся на алгебраическом анализе и компьютерной алгебре .

Йорис ван дер Хувен получил в 1997 году докторскую степень в Парижском университете Дидро (Париж 7), защитив диссертацию « Автоматическая асимптотика» . [1] Он является Directeur де отборный в CNRS и руководитель команды Max Modélisation algébrique на Laboratoire d'Informatique из Политехнической школы . [2]

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

Он является основным разработчиком GNU TeXmacs (бесплатная платформа для научного редактирования) [3] и Mathemagix (бесплатное программное обеспечение, компьютерная алгебра и система анализа). [4]

В 2018 году он был приглашенным спикером (с Матиасом Ашенбреннером и Лу ван ден Дрисом ) с докладом о числах, микробах и транссериях на Международном конгрессе математиков в Рио-де-Жанейро . [5] [6] В 2018 году все трое получили премию Карпа . [7]

Избранные публикации [ править ]

Статьи [ править ]

  • ван дер Хувен, Йорис (1999). «Быстрое вычисление голономных функций». Теоретическая информатика . 210 : 199–215. DOI : 10.1016 / S0304-3975 (98) 00102-9 .
  • ван дер Хувен, Йорис (2001). «Быстрое вычисление голономных функций вблизи и в регулярных особенностях». Журнал символических вычислений . 31 (6): 717–743. DOI : 10,1006 / jsco.2000.0474 . 2001 г.
  • ван дер Хувен, Йорис (2002). «Расслабься, но не ленись». Журнал символических вычислений . 34 (6): 479–542. DOI : 10,1006 / jsco.2002.0562 . 2002 г.
  • ван дер Хувен, Йорис (2010). «Метод Ньютона и торговля БПФ». Журнал символических вычислений . 45 (8): 857–878. DOI : 10.1016 / j.jsc.2010.03.005 .
  • Харви, Дэвид; ван дер Хувен, Йорис; Лесерф, Грегуар (2016). «Еще более быстрое целочисленное умножение» (PDF) . Журнал сложности . 36 : 1–30. arXiv : 1407.3360 . DOI : 10.1016 / j.jco.2016.03.001 . 2016 г.
  • ван дер Хувен, Йорис; Лесерф, Грегуар; Квинтин, Гийом (2016). «Модульная арифметика SIMD в Mathemagix». Транзакции ACM на математическом программном обеспечении . 43 : 1–37. arXiv : 1407.3383 . DOI : 10.1145 / 2876503 . 2016 г.
  • Харви, Дэвид; ван дер Хувен, Йорис; Лесерф, Грегуар (2017). «Более быстрое умножение полиномов над конечными полями» (PDF) . Журнал ACM . 63 (6): 1-23. DOI : 10.1145 / 3005344 . 2017 г.

Книги [ править ]

  • Транссерии и вещественная дифференциальная алгебра , Springer, 2006 г.
  • с Лу ван ден Дрис, Маттиас Ашенбреннер : Асимптотическая дифференциальная алгебра и теория моделей транссерий , Annals of Mathematics Studies 195, Princeton University Press 2017

Ссылки [ править ]

  1. ↑ Йорис ван дер Ховен в проекте « Математическая генеалогия»
  2. ^ "Йорис ван дер Хувен" . TeXmacs .
  3. ^ GNU Texmacs
  4. ^ Mathemagix
  5. ^ Ашенбреннер, М .; van den Dries, L .; ван дер Хувен, Дж. (2017). «О числах, микробах и транссериях». arXiv : 1711.06936 [ math.LO ].
  6. ^ «Пленарное заседание ICM и приглашенные спикеры» . Международный математический союз . Проверено 12 мая 2020 года .
  7. ^ "Получатели премии Карпа" . Ассоциация символической логики . Архивировано 22 июля 2019 года . Проверено 27 января 2020 года .