Joris van der Hoeven

I detta holländska namn är efternamnet van der Hoeven , inte Hoeven .

Joris van der Hoeven
Från vänster: Xiao-Shan Gao, Joris van der Hoeven 2006
Född	1971 (51–52 år)
Alma mater	Paris Diderot universitet
Utmärkelser	Karp-priset (2018)
Vetenskaplig karriär
Fält	Datavetenskap , matematik
institutioner	École Polytechnique
Avhandling	Asymptotique automatique (1997)
Doktorand rådgivare	Jean-Marc Steyaert

Joris van der Hoeven (född 1971) är en nederländsk matematiker och datavetare, specialiserad på algebraisk analys och datoralgebra . Han är den primära utvecklaren av GNU TeXmacs .

Utbildning och karriär

Joris van der Hoeven tog 1997 sin doktorsexamen från Paris Diderot University (Paris 7) med avhandlingen Asymptotique automatique . Han är Directeur de recherche vid CNRS och chef för teamet Max Modélisation algébrique vid Laboratoire d'informatique vid École Polytechnique .

Forskning

Hans forskning handlar om transserier ( dvs generaliseringar av formella potensserier ) med tillämpningar på algebraisk analys och asymptotiska lösningar av olinjära differentialekvationer . Förutom transseriernas egenskaper som en del av differentiell algebra och modellteori , undersöker han också deras algoritmiska aspekter såväl som de av klassisk komplex funktionsteori.

Han är huvudutvecklaren av GNU TeXmacs (en gratis vetenskaplig redigeringsplattform) och Mathemagix (fri programvara, en datoralgebra och analyssystem).

2019 tillkännagav van der Hoeven och hans medförfattare David Harvey deras upptäckt av den snabbaste kända multiplikationsalgoritmen , som tillåter multiplikation av $n$ -bitars binära tal i tiden $O(n) \log n)$ . Deras artikel granskades och publicerades i Annals of Mathematics 2021.

Erkännande

2018 var han en inbjuden talare (med Matthias Aschenbrenner och Lou van den Dries ) med föredraget Om siffror, bakterier och transserier på International Congress of Mathematicians i Rio de Janeiro . 2018 fick de tre Karppriset .

Utvalda publikationer

Artiklar

• van der Hoeven, Joris (1999). "Snabb utvärdering av holonomiska funktioner" . Teoretisk datavetenskap . 210 : 199–215. doi : 10.1016/S0304-3975(98)00102-9 .
• van der Hoeven, Joris (2001). "Snabb utvärdering av holonomiska funktioner nära och i vanliga singulariteter" . Journal of Symbolic Computation . 31 (6): 717–743. doi : 10.1006/jsco.2000.0474 . 2001
• van der Hoeven, Joris (2002). "Slappna av, men var inte för lat" . Journal of Symbolic Computation . 34 (6): 479–542. doi : 10.1006/jsco.2002.0562 . 2002
• van der Hoeven, Joris (2010). "Newtons metod och FFT-handel" . Journal of Symbolic Computation . 45 (8): 857–878. doi : 10.1016/j.jsc.2010.03.005 .
•   Harvey, David; van der Hoeven, Joris; Lecerf, Grégoire (2016). "Ännu snabbare heltalsmultiplikation" (PDF) . Journal of Complexity . 36 : 1–30. arXiv : 1407.3360 . doi : 10.1016/j.jco.2016.03.001 . S2CID 205861906 . 2016
•   van der Hoeven, Joris; Lecerf, Grégoire; Quintin, Guillaume (2016). "Modulär SIMD-aritmetik i Mathemagix". ACM-transaktioner på matematisk programvara . 43 : 1–37. arXiv : 1407.3383 . doi : 10.1145/2876503 . S2CID 10462804 . 2016
•   Harvey, David; van der Hoeven, Joris; Lecerf, Grégoire (2017). "Snabbare polynommultiplikation över ändliga fält" (PDF) . Journal of the ACM . 63 (6): 1–23. arXiv : 1407.3361 . doi : 10.1145/3005344 . S2CID 6821515 . 2017
•    Harvey, David; van der Hoeven, Joris (2021). "Heltalsmultiplikation i tid $O(n\log n)$ " (PDF) . Annals of Mathematics . Andra serien. 193 (2): 563–617. doi : 10.4007/annals.2021.193.2.4 . MR 4224716 . S2CID 109934776 .

Böcker

•    Hoeven, J. van der (2006). Transserier och verklig differentialalgebra . Berlin: Springer. ISBN 978-3-540-35591-5 . OCLC 262692832 .
•    Aschenbrenner, Matthias; Van den Dries, Lou; Hoeven, J. van der (2017). Asymptotisk differentialalgebra och modellteori för transserier . Princeton. ISBN 978-1-4008-8541-1 . OCLC 986538411 .