Joris van der Hoeven - Joris van der Hoeven
Joris van der Hoeven | |
---|---|
Zleva: Xiao-Shan Gao, Joris van der Hoeven 2006 | |
narozený | 1971 (věk 48–49) |
Alma mater | Paris Diderot University |
Ocenění |
|
Vědecká kariéra | |
Pole | Počítačová věda, Matematika |
Instituce | École Polytechnique |
Teze | Asymptotique automatique (1997) |
Doktorský poradce | Jean-Marc Steyaert |
Joris van der Hoeven (narozen 1971) je holandský matematik a počítačový vědec se specializací na algebraická analýza a počítačová algebra.
Joris van der Hoeven získal v roce 1997 doktorát z Paris Diderot University (Paříž 7) s diplomovou prací Asymptotique automatique.[1] On je Directeur de recherche na CNRS a vedoucí týmu Max Modelisation algébrique na Laboratoire d'informatique v École Polytechnique.[2]
Jeho výzkum se zabývá transseries (tj. zobecnění formální mocenské řady ) s aplikacemi pro algebraickou analýzu a asymptotická řešení nelineární diferenciální rovnice. Kromě vlastností transseries jako součást diferenciální algebra a teorie modelů zkoumá také jejich algoritmické aspekty a aspekty klasické teorie komplexních funkcí.
Je hlavním vývojářem GNU TeXmacs (bezplatná vědecká editační platforma)[3] a Mathemagix (svobodný software, počítačová algebra a analytický systém).[4]
V roce 2018 působil jako pozvaný řečník (s Matthias Aschenbrenner a Lou van den Dries ) s přednáškou Na číslech, bakteriích a transseriích na Mezinárodní kongres matematiků v Rio de Janeiro.[5][6] V roce 2018 tři obdrželi Karpova cena.[7]
Vybrané publikace
Články
- van der Hoeven, Joris (1999). Msgstr "Rychlé vyhodnocení holonomických funkcí". Teoretická informatika. 210: 199–215. doi:10.1016 / S0304-3975 (98) 00102-9.
- van der Hoeven, Joris (2001). "Rychlé vyhodnocení holonomických funkcí blízko a v pravidelných singularitách". Journal of Symbolic Computation. 31 (6): 717–743. doi:10.1006 / jsco.2000.0474. 2001
- van der Hoeven, Joris (2002). „Uvolni se, ale nebuď příliš líný“. Journal of Symbolic Computation. 34 (6): 479–542. doi:10.1006 / jsco.2002.0562. 2002
- van der Hoeven, Joris (2010). "Newtonova metoda a FFT obchodování". Journal of Symbolic Computation. 45 (8): 857–878. doi:10.1016 / j.jsc.2010.03.005.
- Harvey, David; van der Hoeven, Joris; Lecerf, Grégoire (2016). "Ještě rychlejší celočíselné násobení" (PDF). Journal of Complexity. 36: 1–30. arXiv:1407.3360. doi:10.1016 / j.jco.2016.03.001. 2016
- van der Hoeven, Joris; Lecerf, Grégoire; Quintin, Guillaume (2016). Msgstr "Modulární aritmetika SIMD v Mathemagix". Transakce ACM na matematickém softwaru. 43: 1–37. arXiv:1407.3383. doi:10.1145/2876503. 2016
- Harvey, David; van der Hoeven, Joris; Lecerf, Grégoire (2017). "Rychlejší polynomiální násobení přes konečná pole" (PDF). Deník ACM. 63 (6): 1–23. doi:10.1145/3005344. 2017
Knihy
- Transseries a skutečná diferenciální algebra, Springer 2006
- s Lou van den Driesem, Matthias Aschenbrenner: Asymptotická diferenciální algebra a teorie modelů transseries, Annals of Mathematics Studies 195, Princeton University Press 2017
Reference
- ^ Joris van der Hoeven na Matematický genealogický projekt
- ^ „Joris van der Hoeven“. TeXmacs.
- ^ GNU Texmacs
- ^ Mathemagix
- ^ Aschenbrenner, M .; van den Dries, L .; van der Hoeven, J. (2017). "Na číslech, bakteriích a transseriích". arXiv:1711.06936 [matematika.LO ].
- ^ „Plenární zasedání ICM a pozvaní řečníci“. Mezinárodní matematická unie. Citováno 12. května 2020.
- ^ „Příjemci cen Karp“. Sdružení pro symbolickou logiku. Archivováno z původního 22. července 2019. Citováno 27. ledna 2020.