In this Dutch name, the surname is van der Hoeven, not Hoeven.
Joris van der Hoeven
From left: Xiao-Shan Gao, Joris van der Hoeven 2006
Born
1971 (age 52–53)
Alma mater
Paris Diderot University
Awards
Karp Prize (2018)
Scientific career
Fields
Computer science, Mathematics
Institutions
École Polytechnique
Thesis
Asymptotique automatique (1997)
Doctoral advisor
Jean-Marc Steyaert
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.
and 24 Related for: Joris van der Hoeven information
JorisvanderHoeven (born 1971) is a Dutch mathematician and computer scientist, specializing in algebraic analysis and computer algebra. He is the primary...
programs, while using TeX fonts. It is written and maintained by JorisvanderHoeven and a group of developers. The program produces structured documents...
computational complexity is a 2019 algorithm of David Harvey and JorisvanderHoeven, which uses the strategies of using number-theoretic transforms introduced...
slower, though still not constant. In March 2019, David Harvey and JorisvanderHoeven submitted a paper presenting an integer multiplication algorithm...
"StarOffice/StarSuite Updates". Archived from the original on 23 September 2009. JorisvanderHoeven (2 April 2024). "TeXmacs 2.1.4". Retrieved 2 April 2024. https://ftp...
Document Format (PDF), HTML, DocBook, others. TeXmacs format 1998 JorisvanderHoeven Text editor/TeXmacs editor PDF or PostScript files. Converters exist...
Society. He was jointly awarded the 2018 Karp Prize with Lou van den Dries and JorisvanderHoeven "for their work in model theory, especially on asymptotic...
Wayback Machine, Hamburg University of Technology Ball arithmetic by JorisvanderHoeven kv - a C++ Library for Verified Numerical Computation kv on GitHub...
with best-known asymptotic running time, due to David Harvey and JorisvanderHoeven, we can lower this to O((log n)3(log log n)) time, or using soft-O...
and Carlo Toffalori. Van den Dries was jointly awarded the 2018 Karp Prize with Matthias Aschenbrenner and JorisvanderHoeven "for their work in model...
Gubinelli Colin Guillarmou Paul Hacking Richard Haydon Xuhua He JorisvanderHoeven Michael Hochman Umberto Hryniewicz June Huh Piotr Indyk Adrian Ioana...
who won a segment: Composers who wrote a winning score: Part 1: Roy vanderHoeven Part 2: Guy Renardeau Part 3: TTM Productions Part 4: Augmented Four...
nl (in Dutch). Retrieved 2023-12-12. VanderHoeven, Marlijn (2016). Hengelo Klein Driene I & II: Toonbeeld van de wederopbouw (in Dutch). Amersfoort:...
Willeke van Ammelrooy (born 1944), actor Herman Agatho des Amorie vanderHoeven (1829–1897) Hans Andreus (1926–1977), poet and writer Edwin van Ankeren...
date of debut name number of caps number of goals 16-04-1950 Cor vanderHoeven 3 0 16-04-1950 Jan Schrumpf 1 0 16-04-1950 Piet Steenbergen 2 0 08-06-1950...
International Publishing, pp. 183–214, doi:10.1007/978-3-319-50508-4_6 vanderHoeven, Joris (2006), "Computations with effective real numbers", Theoretical...