Joris van der Hoeven

Source: Wikipedia, the free encyclopedia.
Joris van der Hoeven
From left: Xiao-Shan Gao, Joris van der Hoeven 2006
Born1971 (age 52–53)
Alma materParis Diderot University
Awards
Scientific career
Fields
École Polytechnique
Thesis Asymptotique automatique  (1997)
Doctoral advisorJean-Marc Steyaert

Joris van der Hoeven (born 1971) is a Dutch mathematician and computer scientist, specializing in algebraic analysis and computer algebra. He is the primary developer of GNU TeXmacs.

Education and career

Joris van der Hoeven received in 1997 his doctorate from

École Polytechnique.[2]

Research

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 2019, van der Hoeven and his coauthor David Harvey announced their discovery of the fastest known multiplication algorithm, allowing the multiplication of -bit binary numbers in time .[5] Their paper was peer reviewed and published in the Annals of Mathematics in 2021.

Recognition

In 2018, he was an Invited Speaker (with

Karp Prize.[8]

Selected publications

Articles

Books

References

  1. ^ Joris van der Hoeven at the Mathematics Genealogy Project
  2. ^ "Joris van der Hoeven". TeXmacs.
  3. ^ GNU Texmacs
  4. ^ Mathemagix
  5. ^ Hartnett, Kevin (11 April 2019). "Mathematicians Discover the Perfect Way to Multiply". Quanta Magazine. Retrieved 2019-05-03.
  6. ].
  7. ^ "ICM Plenary and Invited Speakers". International Mathematical Union. Retrieved May 12, 2020.
  8. ^ "Karp Prize Recipients". Association for Symbolic Logic. Archived from the original on July 22, 2019. Retrieved January 27, 2020.