Joris van der Hoeven

Joris van der Hoeven (born 1971) is a Dutch mathematician and computer scientist, specializing in algebraic analysis and computer algebra.

Joris van der Hoeven
From left: Xiao-Shan Gao, Joris van der Hoeven 2006
Born1971 (age 4950)
Alma materParis Diderot University
Awards
Scientific career
FieldsComputer science, Mathematics
InstitutionsÉcole Polytechnique
ThesisAsymptotique automatique (1997)
Doctoral advisorJean-Marc Steyaert

Joris van der Hoeven received in 1997 his doctorate from Paris Diderot University (Paris 7) with thesis Asymptotique automatique.[1] He is a Directeur de recherche at the CNRS and head of the team Max Modélisation algébrique at the Laboratoire d'informatique of the École Polytechnique.[2]

His research deals with transseries (i.e. generalizations of formal power series) with applications to algebraic analysis and asymptotic solutions of nonlinear differential equations. In addition to transseries' properties as part of differential algebra and model theory, he also examines their algorithmic aspects as well as those of classical complex function theory.

He is the main developer of GNU TeXmacs (a free scientific editing platform)[3] and Mathemagix (free software, a computer algebra and analysis system).[4]

In 2018, he was an Invited Speaker (with Matthias Aschenbrenner and Lou van den Dries) with the talk On numbers, germs, and transseries at the International Congress of Mathematicians in Rio de Janeiro.[5][6] In 2018, the three received the Karp Prize.[7]

Selected publications

Articles

  • van der Hoeven, Joris (1999). "Fast evaluation of holonomic functions". Theoretical Computer Science. 210: 199–215. doi:10.1016/S0304-3975(98)00102-9.
  • van der Hoeven, Joris (2001). "Fast Evaluation of Holonomic Functions Near and in Regular Singularities". Journal of Symbolic Computation. 31 (6): 717–743. doi:10.1006/jsco.2000.0474. 2001
  • van der Hoeven, Joris (2002). "Relax, but Don't be Too Lazy". Journal of Symbolic Computation. 34 (6): 479–542. doi:10.1006/jsco.2002.0562. 2002
  • van der Hoeven, Joris (2010). "Newton's method and FFT trading". 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). "Even faster integer multiplication" (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). "Modular SIMD arithmetic in Mathemagix". ACM Transactions on Mathematical Software. 43: 1–37. arXiv:1407.3383. doi:10.1145/2876503. 2016
  • Harvey, David; van der Hoeven, Joris; Lecerf, Grégoire (2017). "Faster Polynomial Multiplication over Finite Fields" (PDF). Journal of the ACM. 63 (6): 1–23. doi:10.1145/3005344. 2017

Books

References

  1. Joris van der Hoeven at the Mathematics Genealogy Project
  2. "Joris van der Hoeven". TeXmacs.
  3. GNU Texmacs
  4. Mathemagix
  5. Aschenbrenner, M.; van den Dries, L.; van der Hoeven, J. (2017). "On numbers, germs, and transseries". arXiv:1711.06936 [math.LO].
  6. "ICM Plenary and Invited Speakers". International Mathematical Union. Retrieved May 12, 2020.
  7. "Karp Prize Recipients". Association for Symbolic Logic. Archived from the original on July 22, 2019. Retrieved January 27, 2020.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.