Йорис ван дер Хувен

Йорис ван дер Хувен
Йорис ван дер Хувен
	Слева направо: Сяо-Шань Гао, Йорис ван дер Хувен, 2006 г.
Рожденный	1971 (52–53 года)
Альма-матер	Парижский университет Дидро
Награды	Премия Карпа (2018). ;
	Научная карьера
Поля	Информатика , Математика
Учреждения	Политехническая школа
Диссертация	Автоматическая асимптотика (1997)
Докторантура	Жан-Марк Стейерт

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

Образование и карьера

Йорис ван дер Хувен получил в 1997 году докторскую степень в Парижском университете Дидро (Париж 7), защитив диссертацию «Асимптотическая автоматика» . ^[1] Он является директором по исследованиям в CNRS и главой группы Макса алгебраического моделирования в Лаборатории компьютерных наук Политехнической школы . ^[2]

Исследовать

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

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

В 2019 году ван дер Хувен и его соавтор Дэвид Харви объявили об открытии самого быстрого из известных алгоритмов умножения , позволяющего умножать числа. $n$ -битные двоичные числа во времени $O(n\log n)$ . ^[5] Их статья была рецензирована и опубликована в Annals of Mathematics в 2021 году.

Признание

В 2018 году он был приглашенным докладчиком (вместе с Маттиасом Ашенбреннером и Лу ван ден Дрисом ) с докладом «О числах, ростках и трансрядах» на Международном конгрессе математиков в Рио-де-Жанейро . ^[6]^[7] В 2018 году все трое получили Премию Карпа . ^[8]В 2022 году он получил премию Н.Г. де Брейна. ^[9]

Избранные публикации

Статьи

ван дер Хувен, Йорис (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 . S2CID 205861906 . 2016 год
ван дер Хувен, Йорис; Лесерф, Грегуар; Квентин, Гийом (2016). «Модульная SIMD-арифметика в Mathemagix». Транзакции ACM в математическом программном обеспечении . 43 : 1–37. arXiv : 1407.3383 . дои : 10.1145/2876503 . S2CID 10462804 . 2016 год
Харви, Дэвид; ван дер Хувен, Йорис; Лесерф, Грегуар (2017). «Быстрое полиномиальное умножение по конечным полям» (PDF) . Журнал АКМ . 63 (6): 1–23. arXiv : 1407.3361 . дои : 10.1145/3005344 . S2CID 6821515 . 2017 год
Харви, Дэвид; ван дер Хувен, Йорис (2021). «Целое умножение за время $O(n\log n)$ / (PDF) . Анналы математики . Вторая серия. 193 (2): 563–617. : 10.4007 annals.2021.193.2.4 . MR 4224716. . S2CID 109934776 doi

Книги

Хувен, Дж. ван дер (2006). Трансряды и вещественная дифференциальная алгебра . Берлин: Шпрингер. ISBN 978-3-540-35591-5 . OCLC 262692832 .
Ашенбреннер, Матиас; Ван ден Дрис, Лу; Хувен, Дж. ван дер (2017). Асимптотическая дифференциальная алгебра и модельная теория трансрядов . Принстон. ISBN 978-1-4008-8541-1 . OCLC 986538411 . {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )

Ссылки

^ Йорис ван дер Хувен в проекте «Математическая генеалогия»
^ «Йорис ван дер Хувен» . ТеХмакс .
^ GNU Textmacs
^ Матемагикс
^ Хартнетт, Кевин (11 апреля 2019 г.). «Математики открыли идеальный способ умножения» . Журнал Кванта . Проверено 3 мая 2019 г.
^ Ашенбреннер, М.; ван ден Дрис, Л.; ван дер Хувен, Дж. (2017). «О числах, микробах и транссериях». arXiv : 1711.06936 [ math.LO ].
^ «Пленарное заседание ICM и приглашенные докладчики» . Международный математический союз . Проверено 12 мая 2020 г.
^ «Лауреаты премии Карпа» . Ассоциация символической логики . Архивировано из оригинала 22 июля 2019 года . Проверено 27 января 2020 г.
^ «Приз Н.Г. де Брёйна» . 2024.

[1] Йорис ван дер Хувен в проекте «Математическая генеалогия»

[2] «Йорис ван дер Хувен» . ТеХмакс .

[3] GNU Textmacs

[4] Матемагикс

[5] Хартнетт, Кевин (11 апреля 2019 г.). «Математики открыли идеальный способ умножения» . Журнал Кванта . Проверено 3 мая 2019 г.

[6] Ашенбреннер, М.; ван ден Дрис, Л.; ван дер Хувен, Дж. (2017). «О числах, микробах и транссериях». arXiv : 1711.06936 [ math.LO ].

[7] «Пленарное заседание ICM и приглашенные докладчики» . Международный математический союз . Проверено 12 мая 2020 г.

[8] «Лауреаты премии Карпа» . Ассоциация символической логики . Архивировано из оригинала 22 июля 2019 года . Проверено 27 января 2020 г.

[9] «Приз Н.Г. де Брёйна» . 2024.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Франция Данные БнФ Каталония Германия Израиль Соединенные Штаты Нидерланды
академики	ДБЛП Google Академика MathSciNet Проект математической генеалогии zbMATH
Другой	ИдРеф