Joris van der Hoeven

from Wikipedia, the free encyclopedia
From left: Xiao-Shan Gao, Joris van der Hoeven 2006

Joris van der Hoeven (* 1971 ) is a Dutch mathematician and computer scientist who specializes in algebraic analysis and computer algebra.

Joris van der Hoeven received his doctorate in 1997 under Jean-Marc Steyaert at the University of Paris VII (Asymptotique automatique). He is Research Director of the CNRS and head of the Max team (algebraic modeling and programming) at the Computer Science Laboratory of the École Polytechnique .

He deals with trans series, generalizations of formal power series (with operations like exponentiation, logarithmizing) with applications in algebraic analysis and asymptotic solutions of nonlinear differential equations. In addition to their properties as part of a 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 (an editing platform) and Mathemagix (also free software, a computer algebra and analysis system).

In 2018 he was invited speaker at the International Congress of Mathematicians in Rio de Janeiro (with Matthias Aschenbrenner , Lou van den Dries : On numbers, germs, and transseries). In 2018, the three received the Karp Prize .

Fonts (selection)

  • Transseries and Real Differential Algebra, Springer 2006
  • with Lou van den Dries, Matthias Aschenbrenner : Asymptotic Differential Algebra and Model Theory of Transseries, Annals of Mathematical Studies 195, Princeton UP 2017

Web links

Individual evidence

  1. Joris van der Hoeven in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
  2. GNU Texmacs
  3. ^ Mathemagix
  4. Arxiv