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 microfunctio ...

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 mathematical expressions ...

. 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 GNU Emacs with TeX functionalities, though it shares no code with those programs, while using TeX fonts. It is written and maintained by Jori ...

Education and career

Joris van der Hoeven received in 1997 his doctorate from

Paris Diderot University Paris Diderot University, also known as Paris 7 (french: Université Paris Diderot), 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 197 ...

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

CNRS The French National Centre for Scientific Research (french: link=no, Centre national de la recherche scientifique, CNRS) is the French state research organisation and is the largest fundamental science agency in Europe. In 2016, it employed 31,637 ...

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

École Polytechnique École may refer to: * an elementary school in the French educational stages normally followed by secondary education establishments (collège and lycée) * École (river), a tributary of the Seine flowing in région Île-de-France * École, Savoi ...

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 ob ...

(''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 sum ...

) 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 rings, differential fields, and differential algebras are rings, fields, and algebras equipped with finitely many derivations, which are unary functions that are linear and satisfy the Leibniz product rule. A natur ...

and

model theory In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the s ...

, 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 multiply two numbers. Depending on the size of the numbers, different algorithms are more efficient than others. Efficient multiplication algorithms have existed since the advent of the de ...

, allowing the multiplication of

n

-bit

binary number A binary number is a number expressed in the base-2 numeral system or binary numeral system, a method of mathematical expression which uses only two symbols: typically "0" (zero) and "1" ( one). The base-2 numeral system is a positional notatio ...

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 (peers). It functions as a form of self-regulation by qualified members of a profession within the relevant field. Peer review ...

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 the ...

'' in 2021.

Recognition

In 2018, he was an Invited Speaker (with

Matthias Aschenbrenner Matthias Aschenbrenner (born 1972 in Bad Kötzting) is a German-American mathematician. He is a professor of mathematics at the University of Vienna and director of the logic group there. His research interests include differential algebra and m ...

and

Lou van den Dries Laurentius Petrus Dignus "Lou" van den Dries (born May 26, 1951) is a Dutch mathematician working in model theory. He is a professor emeritus of mathematics at the University of Illinois at Urbana–Champaign. Education Van den Dries began his ...

) 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 Nevanlinna Prize (to be rename ...

Rio de Janeiro Rio de Janeiro ( , , ; literally 'River of January'), or simply Rio, is the capital of the state of the same name, Brazil's third-most populous state, and the second-most populous city in Brazil, after São Paulo. Listed by the GaWC as a b ...

. 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 Alonzo Church. The current president of the ASL is ...

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