L'algoritmo di moltiplicazione più veloce per numeri binari a n bit è stato scoperto da Joris van der Hoeven e David Harvey, raggiungendo una complessità temporale O(n log n). Questo risultato, sottoposto a revisione paritaria e pubblicato negli Annals of Mathematics nel 2021, rappresenta una pietra miliare significativa nella complessità computazionale, evidenziando la sua integrazione della teoria matematica avanzata con lo sviluppo algoritmico ad alte prestazioni.
Background accademico e sviluppo
Nato nel 1971, Joris van der Hoeven ha conseguito il dottorato presso l'Università Paris Diderot nel 1997. La sua tesi, intitolata Asymptotique automatique, ha gettato le basi per il suo successivo interesse per l'analisi algebrica e l'algebra computazionale. Attualmente ricopre la posizione di Direttore di Ricerca presso il Centro Nazionale per la Ricerca Scientifica (CNRS) e dirige il team Max Modélisation algébrique presso il Laboratorio di informatica dell'École polytechnique a Palaiseau.
Contributi software
Oltre al suo lavoro teorico, van der Hoeven è profondamente impegnato nel movimento del software libero. È diventato il manutentore di GNU TeXmacs nel 1997, una piattaforma progettata per l'editing scientifico. Inoltre, ha sviluppato Mathemagix, un sistema destinato all'algebra computazionale e all'analisi. Questi strumenti facilitano l'applicazione pratica della sua ricerca sulle proprietà algoritmiche e sulla teoria delle funzioni complesse.
Ricerca sulle transerie
I suoi principali interessi di ricerca riguardano le transerie, che funzionano come generalizzazioni delle serie di potenze formali. Queste strutture sono essenziali per lo studio delle equazioni differenziali non lineari e dell'analisi algebrica. Il suo libro, Transseries and real differential algebra, pubblicato nel 2006, funge da riferimento chiave. Ha approfondito ulteriormente quest'area nel testo del 2017 Asymptotic differential algebra and model theory of transseries, scritto in collaborazione con Matthias Aschenbrenner e Lou van den Dries.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Premi e riconoscimenti
Gli sforzi collaborativi di van der Hoeven hanno attirato una significativa attenzione accademica. Nel 2018, ha tenuto un discorso intitolato On numbers, germs, and transseries al Congresso Internazionale dei Matematici a Rio de Janeiro insieme ad Aschenbrenner e van den Dries. Nello stesso anno, il gruppo ha ricevuto il Premio Carol Karp. È stato anche insignito del premio N. G. de Bruijn nel 2022.
Fatti rapidi
- Nascita: 1971 - Cittadinanza: Francia - Istruzione: Università Paris Diderot - Datore di lavoro: CNRS e École polytechnique - Luogo di lavoro: Palaiseau - Premio Carol Karp: 2018 - Premio N. G. de Bruijn: 2022 - Lingue: Francese, inglese
Domande poste dai lettori
### Qual è l'importanza principale del suo algoritmo di moltiplicazione?
Ha raggiunto la complessità temporale più veloce conosciuta per moltiplicare numeri binari, specificamente O(n log n).
### Quali progetti software mantiene?
È il manutentore della piattaforma GNU TeXmacs e uno sviluppatore del sistema di algebra computazionale Mathemagix.
