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

algebraic analysis Algebraic analysis is an area of mathematics that deals with systems of linear partial differential equations by using sheaf theory and complex analysis to study properties and generalizations of functions such as hyperfunctions and microfuncti ...

and

computer algebra In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating expression (mathematics), ...

. He is the primary developer of

GNU TeXmacs GNU TeXmacs is a scientific word processor and typesetting component of the GNU Project. It originated as a variant of GNU Emacs with TeX functionalities, though it shares no code with those programs, while using TeX fonts. It is written and maint ...

Education and career

Joris van der Hoeven received in 1997 his doctorate from

Paris Diderot University Paris Diderot University, also known as Paris 7 (), was a French university located in Paris, France. It was one of the inheritors of the historic University of Paris, which was split into 13 universities in 1970. Paris Diderot merged with Pari ...

(Paris 7) with thesis ''Asymptotique automatique''. He is a ''Directeur de recherche'' at the

CNRS The French National Centre for Scientific Research (, , CNRS) is the French state research organisation and is the largest fundamental science agency in Europe. In 2016, it employed 31,637 staff, including 11,137 tenured researchers, 13,415 eng ...

and head of the team ''Max Modélisation algébrique'' at the Laboratoire d'informatique of the

École Polytechnique (, ; also known as Polytechnique or l'X ) is a ''grande école'' located in Palaiseau, France. It specializes in science and engineering and is a founding member of the Polytechnic Institute of Paris. The school was founded in 1794 by mat ...

Research

His research deals with

transseries In mathematics, the field \mathbb^ of logarithmic-exponential transseries is a non-Archimedean ordered differential field which extends comparability of asymptotic growth rates of elementary nontrigonometric functions to a much broader class of ...

(''i.e.'' generalizations of

formal power series In mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial su ...

) with applications to algebraic analysis and asymptotic solutions of nonlinear differential equations. In addition to transseries' properties as part of

differential algebra In mathematics, differential algebra is, broadly speaking, the area of mathematics consisting in the study of differential equations and differential operators as algebraic objects in view of deriving properties of differential equations and op ...

and

model theory In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mat ...

, he also examines their algorithmic aspects as well as those of classical complex function theory. He is the main developer of

(a free scientific editing platform) and Mathemagix (free software, a computer algebra and analysis system). In 2019, van der Hoeven and his coauthor David Harvey announced their discovery of the fastest known

multiplication algorithm A multiplication algorithm is an algorithm (or method) to multiplication, multiply two numbers. Depending on the size of the numbers, different algorithms are more efficient than others. Numerous algorithms are known and there has been much resea ...

, allowing the multiplication of

n

-bit

binary number A binary number is a number expressed in the Radix, base-2 numeral system or binary numeral system, a method for representing numbers that uses only two symbols for the natural numbers: typically "0" (zero) and "1" (one). A ''binary number'' may ...

s in time

O(n\log n)

. Their paper was

peer review Peer review is the evaluation of work by one or more people with similar competencies as the producers of the work (:wiktionary:peer#Etymology 2, peers). It functions as a form of self-regulation by qualified members of a profession within the ...

ed and published in the ''

Annals of Mathematics The ''Annals of Mathematics'' is a mathematical journal published every two months by Princeton University and the Institute for Advanced Study. History The journal was established as ''The Analyst'' in 1874 and with Joel E. Hendricks as t ...

'' in 2021.

Recognition

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 The International Congress of Mathematicians (ICM) is the largest conference for the topic of mathematics. It meets once every four years, hosted by the International Mathematical Union (IMU). The Fields Medals, the IMU Abacus Medal (known before ...

Rio de Janeiro Rio de Janeiro, or simply Rio, is the capital of the Rio de Janeiro (state), state of Rio de Janeiro. It is the List of cities in Brazil by population, second-most-populous city in Brazil (after São Paulo) and the Largest cities in the America ...

. In 2018, the three received the

Karp Prize The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL ...

. In 2022, he received the N. G. de Bruijn prize

Selected publications

Articles

* * 2001 * 2002 * * 2016 * 2016 * 2017 *

Books

* *

References

{{DEFAULTSORT:Hoeven, Joris van der 20th-century Dutch mathematicians 21st-century Dutch mathematicians Dutch computer scientists Paris Diderot University alumni 1971 births Living people Academic staff of École Polytechnique