L'algorithme de multiplication le plus rapide pour les nombres binaires à n bits a été découvert par Joris van der Hoeven et David Harvey, atteignant une complexité temporelle O(n log n). Ce résultat, évalué par des pairs et publié dans les Annals of Mathematics en 2021, représente une étape importante dans la complexité computationnelle, soulignant son intégration de la théorie mathématique avancée avec le développement algorithmique haute performance.
Parcours académique et développement
Né en 1971, Joris van der Hoeven a obtenu son doctorat à l'Université Paris Diderot en 1997. Sa thèse, intitulée Asymptotique automatique, a jeté les bases de son orientation ultérieure vers l'analyse algébrique et le calcul formel. Il occupe actuellement le poste de directeur de recherche au Centre national de la recherche scientifique (CNRS) et dirige l'équipe Max Modélisation algébrique au Laboratoire d'informatique de l'École polytechnique à Palaiseau.
Contributions logicielles
Au-delà de ses travaux théoriques, van der Hoeven est profondément engagé dans le mouvement du logiciel libre. Il est devenu le mainteneur de GNU TeXmacs en 1997, une plateforme conçue pour l'édition scientifique. De plus, il a développé Mathemagix, un système destiné au calcul formel et à l'analyse. Ces outils facilitent l'application pratique de ses recherches sur les propriétés algorithmiques et la théorie des fonctions complexes.
Recherche sur les transséries
Ses principaux intérêts de recherche portent sur les transséries, qui fonctionnent comme des généralisations des séries formelles. Ces structures sont essentielles pour l'étude des équations différentielles non linéaires et l'analyse algébrique. Son livre, Transseries and real differential algebra, publié en 2006, sert de référence clé. Il a approfondi ce domaine dans le texte de 2017 Asymptotic differential algebra and model theory of transseries, co-écrit avec Matthias Aschenbrenner et Lou van den Dries.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Prix et reconnaissance
Les efforts collaboratifs de van der Hoeven ont suscité une attention académique significative. En 2018, il a donné une conférence intitulée On numbers, germs, and transseries au Congrès international des mathématiciens à Rio de Janeiro aux côtés d'Aschenbrenner et van den Dries. La même année, le groupe a reçu le prix Carol Karp. Il a également reçu le prix N. G. de Bruijn en 2022.
Faits en bref
- Naissance : 1971 - Citoyenneté : France - Éducation : Université Paris Diderot - Employeur : CNRS et École polytechnique - Lieu de travail : Palaiseau - Prix Carol Karp : 2018 - Prix N. G. de Bruijn : 2022 - Langues : Français, anglais
Questions posées par les lecteurs
### Quelle est l'importance principale de son algorithme de multiplication ?
Il a atteint la complexité temporelle la plus rapide connue pour multiplier des nombres binaires, spécifiquement O(n log n).
### Quels projets logiciels maintient-il ?
Il est le mainteneur de la plateforme GNU TeXmacs et un développeur du système de calcul formel Mathemagix.
