View source for Joris van der Hoeven

{{Short description|Dutch mathematician and computer scientist}}
{{family name hatnote|van der Hoeven|Hoeven|lang=Dutch}}
{{Infobox scientist
| honorific_prefix  = 
| name              = Joris van der Hoeven
| honorific_suffix  = 
| native_name       = 
| native_name_lang  = 
| image             = Hoeven joris van der gao xiao-shan.jpg
| image_size        = 
| image_upright     = 
| alt               = 
| caption           = From left: Xiao-Shan Gao, Joris van der Hoeven 2006
| birth_name        = 
| birth_date        = {{birth year and age |1971}}
| birth_place       = <!-- presumably [[Netherlands]] -->
| death_date        = <!--{{death date and age |YYYY|MM|DD |YYYY|MM|DD}} (death date then birth date)-->
| death_place       = 
| death_cause       = 
| resting_place     = 
| resting_place_coordinates = <!--{{coord|LAT|LONG|type:landmark|display=inline,title}}-->
| home_town         =
| other_names       = 
| siglum            =
| pronounce         =
| citizenship       =
| nationality       = 
| fields            = [[Computer science]], [[Mathematics]]
| workplaces        = [[École Polytechnique]]
| patrons           = 
| education         = 
| alma_mater        = [[Paris Diderot University]]
| thesis_title      = Asymptotique automatique
| thesis_url        = <!--(or  | thesis1_url  =   and  | thesis2_url  =  )-->
| thesis_year       = 1997
| doctoral_advisor  = Jean-Marc Steyaert
| academic_advisors = 
| doctoral_students =
| notable_students  = 
| known_for         = 
| influences        = 
| influenced        = 
| awards            = {{plainlist|
*[[Association_for_Symbolic_Logic#Karp_Prize|Karp Prize]] (2018)
| author_abbrev_bot = 
| author_abbrev_zoo = 
| spouse            = <!--(or | spouses = )-->
| partner           = <!--(or | partners = )-->
| children          = 
| signature         = <!--(filename only)-->
| signature_alt     = 
| website           = <!--{{URL|www.example.com}}-->
| footnotes         = 
}}
}}
'''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 [[Paris Diderot University]] (Paris 7) with thesis ''Asymptotique automatique''.<ref>{{MathGenealogyProject | id = 98813}}</ref> He is a [[List of academic ranks#France|''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]].<ref>{{cite web|title=Joris van der Hoeven|website=TeXmacs|url=http://www.texmacs.org/joris/main/joris.html}}</ref>

==Research==
His research deals with [[transseries]] (''i.e.'' generalizations of [[formal power series]]) with applications to algebraic analysis and asymptotic solutions of [[Nonlinear_system#Nonlinear_differential_equations|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)<ref>[http://www.texmacs.org/tmweb/home/welcome.en.html GNU Texmacs]</ref> and Mathemagix (free software, a computer algebra and analysis system).<ref>[http://www.mathemagix.org/www/mmdoc/doc/html/main/index.en.html Mathemagix]</ref>

In 2019, van der Hoeven and his coauthor David Harvey announced their discovery of the fastest known [[multiplication algorithm]], allowing the multiplication of <math>n</math>-bit [[binary number]]s in time <math>O(n\log n)</math>.<ref>{{Cite magazine|url=https://www.quantamagazine.org/mathematicians-discover-the-perfect-way-to-multiply-20190411/|title=Mathematicians Discover the Perfect Way to Multiply|last=Hartnett|first=Kevin|magazine=Quanta Magazine|date=11 April 2019|access-date=2019-05-03}}</ref> Their paper was [[peer review]]ed and published in the ''[[Annals of Mathematics]]'' 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]] in [[Rio de Janeiro]].<ref>{{cite arXiv|author=Aschenbrenner, M.|author2=van den Dries, L.|author3=van der Hoeven, J.|title=On numbers, germs, and transseries|year=2017|eprint=1711.06936|class=math.LO}}</ref><ref>{{cite web |url=https://www.mathunion.org/icm-plenary-and-invited-speakers|title=ICM Plenary and Invited Speakers|author=<!--Not stated-->|publisher=[[International Mathematical Union]]|access-date=May 12, 2020}}</ref> In 2018, the three received the [[Karp Prize]].<ref>{{cite web|url=https://aslonline.org/asl-information/prizes-and-awards/karp-prize-recipients/|archive-url=https://web.archive.org/web/20190722150030/https://aslonline.org/asl-information/prizes-and-awards/karp-prize-recipients/ |archive-date=July 22, 2019 |url-status=live|title=Karp Prize Recipients|author=<!--Not stated-->|publisher=[[Association for Symbolic Logic]]|access-date=January 27, 2020}}</ref>
In 2022, he received the N. G. de Bruijn prize<ref>{{cite web |url=https://www.wiskgenoot.nl/index.php?page=87&sid=2 |title=N.G. de Bruijn Prize |year=2024}}</ref>

==Selected publications==
===Articles===
*{{cite journal|doi=10.1016/S0304-3975(98)00102-9|title=Fast evaluation of holonomic functions|journal=Theoretical Computer Science|volume=210|pages=199–215|year=1999|last1=van der Hoeven|first1=Joris|doi-access=}}
*{{cite journal|doi=10.1006/jsco.2000.0474|title=Fast Evaluation of Holonomic Functions Near and in Regular Singularities|journal=Journal of Symbolic Computation|volume=31|issue=6|pages=717–743|year=2001|last1=van der Hoeven|first1=Joris|doi-access=free}} 2001
*{{cite journal|doi=10.1006/jsco.2002.0562|title=Relax, but Don't be Too Lazy|journal=Journal of Symbolic Computation|volume=34|issue=6|pages=479–542|year=2002|last1=van der Hoeven|first1=Joris|doi-access=free}} 2002
*{{cite journal|doi=10.1016/j.jsc.2010.03.005|title=Newton's method and FFT trading|journal=Journal of Symbolic Computation|volume=45|issue=8|pages=857–878|year=2010|last1=van der Hoeven|first1=Joris|doi-access=free}}
*{{cite journal|doi=10.1016/j.jco.2016.03.001|title=Even faster integer multiplication|journal=Journal of Complexity|volume=36|pages=1–30|year=2016|last1=Harvey|first1=David|last2=van der Hoeven|first2=Joris|last3=Lecerf|first3=Grégoire|url=https://hal.archives-ouvertes.fr/hal-01022749/file/mul3.pdf|arxiv=1407.3360|s2cid=205861906}} 2016
*{{cite journal|doi=10.1145/2876503|title=Modular SIMD arithmetic in Mathemagix|journal=ACM Transactions on Mathematical Software|volume=43|pages=1–37|year=2016|last1= van der Hoeven|first1=Joris|last2=Lecerf|first2=Grégoire|last3=Quintin|first3=Guillaume|arxiv=1407.3383|s2cid=10462804}} 2016
*{{cite journal|doi=10.1145/3005344|title=Faster Polynomial Multiplication over Finite Fields|journal=Journal of the ACM|volume=63|issue=6|pages=1–23|year=2017|last1=Harvey|first1=David|last2=van der Hoeven|first2=Joris|last3=Lecerf|first3=Grégoire|url=https://hal.archives-ouvertes.fr/hal-01022757/file/ffmul3.pdf|arxiv=1407.3361|s2cid=6821515}} 2017
*{{cite journal | last1 = Harvey | first1 = David | last2 = van der Hoeven | first2 = Joris | doi = 10.4007/annals.2021.193.2.4 | issue = 2 | journal = [[Annals of Mathematics]] | mr = 4224716 | pages = 563–617 | series = Second Series | title = Integer multiplication in time <math>O(n \log n)</math> | volume = 193 | year = 2021| s2cid = 109934776 | url = https://hal.archives-ouvertes.fr/hal-02070778/file/nlogn.pdf }}
===Books===
* {{cite book | last=Hoeven | first=J. van der | title=Transseries and real differential algebra | publisher=Springer | publication-place=Berlin | date=2006 | isbn=978-3-540-35591-5 | oclc=262692832}}
* {{cite book | last=Aschenbrenner | first=Matthias | last2=Van den Dries | first2=Lou | last3=Hoeven | first3=J. van der | title=Asymptotic differential algebra and model theory of transseries | publication-place=Princeton | date=2017 | isbn=978-1-4008-8541-1 | oclc=986538411}}

==References==
<references/>

{{authority control}}

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