fbpx
Wikipedia

Joris van der Hoeven

April 10, 2024

In this Dutch name, the surname is van der Hoeven, not Hoeven.

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.

Joris van der Hoeven
From left: Xiao-Shan Gao, Joris van der Hoeven 2006
Born1971 (age 52–53)
Alma materParis Diderot University
Awards
Scientific career
FieldsComputer science, Mathematics
InstitutionsÉcole Polytechnique
Thesis Asymptotique automatique  (1997)
Doctoral advisorJean-Marc Steyaert

Education and career edit

Joris van der Hoeven received in 1997 his doctorate from Paris Diderot University (Paris 7) with thesis Asymptotique automatique.[1] He is a 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.[2]

Research edit

His research deals with transseries (i.e. generalizations of formal power series) with applications to algebraic analysis and asymptotic solutions of 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)[3] and Mathemagix (free software, a computer algebra and analysis system).[4]

In 2019, van der Hoeven and his coauthor David Harvey announced their discovery of the fastest known multiplication algorithm, allowing the multiplication of  -bit binary numbers in time  .[5] Their paper was peer reviewed and published in the Annals of Mathematics in 2021.

Recognition edit

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.[6][7] In 2018, the three received the Karp Prize.[8]

Selected publications edit

Articles edit

  • van der Hoeven, Joris (1999). "Fast evaluation of holonomic functions". Theoretical Computer Science. 210: 199–215. doi:10.1016/S0304-3975(98)00102-9.
  • van der Hoeven, Joris (2001). "Fast Evaluation of Holonomic Functions Near and in Regular Singularities". Journal of Symbolic Computation. 31 (6): 717–743. doi:10.1006/jsco.2000.0474. 2001
  • van der Hoeven, Joris (2002). "Relax, but Don't be Too Lazy". Journal of Symbolic Computation. 34 (6): 479–542. doi:10.1006/jsco.2002.0562. 2002
  • van der Hoeven, Joris (2010). "Newton's method and FFT trading". 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). "Even faster integer multiplication" (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). "Modular SIMD arithmetic in Mathemagix". ACM Transactions on Mathematical Software. 43: 1–37. arXiv:1407.3383. doi:10.1145/2876503. S2CID 10462804. 2016
  • Harvey, David; van der Hoeven, Joris; Lecerf, Grégoire (2017). "Faster Polynomial Multiplication over Finite Fields" (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). "Integer multiplication in time  " (PDF). Annals of Mathematics. Second Series. 193 (2): 563–617. doi:10.4007/annals.2021.193.2.4. MR 4224716. S2CID 109934776.

Books edit

  • Hoeven, J. van der (2006). Transseries and real differential algebra. Berlin: Springer. ISBN 978-3-540-35591-5. OCLC 262692832.
  • Aschenbrenner, Matthias; Van den Dries, Lou; Hoeven, J. van der (2017). Asymptotic differential algebra and model theory of transseries. Princeton. ISBN 978-1-4008-8541-1. OCLC 986538411.{{cite book}}: CS1 maint: location missing publisher (link)

References edit

  1. ^ Joris van der Hoeven at the Mathematics Genealogy Project
  2. ^ "Joris van der Hoeven". TeXmacs.
  3. ^ GNU Texmacs
  4. ^ Mathemagix
  5. ^ Hartnett, Kevin (11 April 2019). "Mathematicians Discover the Perfect Way to Multiply". Quanta Magazine. Retrieved 2019-05-03.
  6. ^ Aschenbrenner, M.; van den Dries, L.; van der Hoeven, J. (2017). "On numbers, germs, and transseries". arXiv:1711.06936 [math.LO].
  7. ^ "ICM Plenary and Invited Speakers". International Mathematical Union. Retrieved May 12, 2020.
  8. ^ "Karp Prize Recipients". Association for Symbolic Logic. from the original on July 22, 2019. Retrieved January 27, 2020.

April 10, 2024
joris, hoeven, this, dutch, name, surname, hoeven, hoeven, born, 1971, dutch, mathematician, computer, scientist, specializing, algebraic, analysis, computer, algebra, primary, developer, texmacs, from, left, xiao, shan, 2006born1971, alma, materparis, diderot. In this Dutch name the surname is van der Hoeven not Hoeven 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 Joris van der HoevenFrom left Xiao Shan Gao Joris van der Hoeven 2006Born1971 age 52 53 Alma materParis Diderot UniversityAwardsKarp Prize 2018 Scientific careerFieldsComputer science MathematicsInstitutionsEcole PolytechniqueThesisAsymptotique automatique 1997 Doctoral advisorJean Marc Steyaert Contents 1 Education and career 2 Research 3 Recognition 4 Selected publications 4 1 Articles 4 2 Books 5 ReferencesEducation and career editJoris van der Hoeven received in 1997 his doctorate from Paris Diderot University Paris 7 with thesis Asymptotique automatique 1 He is a Directeur de recherche at the CNRS and head of the team Max Modelisation algebrique at the Laboratoire d informatique of the Ecole Polytechnique 2 Research editHis research deals with transseries i e generalizations of formal power series with applications to algebraic analysis and asymptotic solutions of 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 3 and Mathemagix free software a computer algebra and analysis system 4 In 2019 van der Hoeven and his coauthor David Harvey announced their discovery of the fastest known multiplication algorithm allowing the multiplication of n displaystyle n nbsp bit binary numbers in time O nlog n displaystyle O n log n nbsp 5 Their paper was peer reviewed and published in the Annals of Mathematics in 2021 Recognition editIn 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 6 7 In 2018 the three received the Karp Prize 8 Selected publications editArticles edit van der Hoeven Joris 1999 Fast evaluation of holonomic functions Theoretical Computer Science 210 199 215 doi 10 1016 S0304 3975 98 00102 9 van der Hoeven Joris 2001 Fast Evaluation of Holonomic Functions Near and in Regular Singularities Journal of Symbolic Computation 31 6 717 743 doi 10 1006 jsco 2000 0474 2001 van der Hoeven Joris 2002 Relax but Don t be Too Lazy Journal of Symbolic Computation 34 6 479 542 doi 10 1006 jsco 2002 0562 2002 van der Hoeven Joris 2010 Newton s method and FFT trading Journal of Symbolic Computation 45 8 857 878 doi 10 1016 j jsc 2010 03 005 Harvey David van der Hoeven Joris Lecerf Gregoire 2016 Even faster integer multiplication 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 Gregoire Quintin Guillaume 2016 Modular SIMD arithmetic in Mathemagix ACM Transactions on Mathematical Software 43 1 37 arXiv 1407 3383 doi 10 1145 2876503 S2CID 10462804 2016 Harvey David van der Hoeven Joris Lecerf Gregoire 2017 Faster Polynomial Multiplication over Finite Fields 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 Integer multiplication in time O nlog n displaystyle O n log n nbsp PDF Annals of Mathematics Second Series 193 2 563 617 doi 10 4007 annals 2021 193 2 4 MR 4224716 S2CID 109934776 Books edit Hoeven J van der 2006 Transseries and real differential algebra Berlin Springer ISBN 978 3 540 35591 5 OCLC 262692832 Aschenbrenner Matthias Van den Dries Lou Hoeven J van der 2017 Asymptotic differential algebra and model theory of transseries Princeton ISBN 978 1 4008 8541 1 OCLC 986538411 a href Template Cite book html title Template Cite book cite book a CS1 maint location missing publisher link References edit Joris van der Hoeven at the Mathematics Genealogy Project Joris van der Hoeven TeXmacs GNU Texmacs Mathemagix Hartnett Kevin 11 April 2019 Mathematicians Discover the Perfect Way to Multiply Quanta Magazine Retrieved 2019 05 03 Aschenbrenner M van den Dries L van der Hoeven J 2017 On numbers germs and transseries arXiv 1711 06936 math LO ICM Plenary and Invited Speakers International Mathematical Union Retrieved May 12 2020 Karp Prize Recipients Association for Symbolic Logic Archived from the original on July 22 2019 Retrieved January 27 2020 Retrieved from https en wikipedia org w index php title Joris van der Hoeven amp oldid 1171007851, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.