El algoritmo de multiplicación más rápido para números binarios de n bits fue descubierto por Joris van der Hoeven y David Harvey, logrando una complejidad de tiempo O(n log n). Este resultado, revisado por pares y publicado en los Annals of Mathematics en 2021, representa un hito significativo en la complejidad computacional, destacando su integración de la teoría matemática avanzada con el desarrollo algorítmico de alto rendimiento.
Antecedentes académicos y desarrollo
Nacido en 1971, Joris van der Hoeven obtuvo su doctorado en la Universidad París Diderot en 1997. Su tesis, titulada Asymptotique automatique, sentó las bases para su enfoque posterior en el análisis algebraico y el álgebra computacional. Actualmente ocupa el cargo de Director de Investigación en el Centro Nacional de Investigación Científica (CNRS) y dirige el equipo Max Modélisation algébrique en el Laboratorio de informática de la École polytechnique en Palaiseau.
Contribuciones de software
Más allá de su trabajo teórico, van der Hoeven está profundamente comprometido con el movimiento del software libre. Se convirtió en el mantenedor de GNU TeXmacs en 1997, una plataforma diseñada para la edición científica. Además, desarrolló Mathemagix, un sistema destinado al álgebra computacional y el análisis. Estas herramientas facilitan la aplicación práctica de su investigación sobre propiedades algorítmicas y la teoría de funciones complejas.
Investigación sobre transeries
Sus principales intereses de investigación involucran las transeries, que funcionan como generalizaciones de las series de potencias formales. Estas estructuras son esenciales para estudiar ecuaciones diferenciales no lineales y el análisis algebraico. Su libro, Transseries and real differential algebra, publicado en 2006, sirve como referencia clave. Exploró más a fondo esta área en el texto de 2017 Asymptotic differential algebra and model theory of transseries, en coautoría con Matthias Aschenbrenner y Lou van den Dries.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Premios y reconocimientos
Los esfuerzos colaborativos de van der Hoeven han atraído una atención académica significativa. En 2018, dio una charla titulada On numbers, germs, and transseries en el Congreso Internacional de Matemáticos en Río de Janeiro junto a Aschenbrenner y van den Dries. Ese mismo año, el grupo recibió el Premio Carol Karp. También fue galardonado con el premio N. G. de Bruijn en 2022.
Datos rápidos
- Nacimiento: 1971 - Ciudadanía: Francia - Educación: Universidad París Diderot - Empleador: CNRS y École polytechnique - Lugar de trabajo: Palaiseau - Premio Carol Karp: 2018 - Premio N. G. de Bruijn: 2022 - Idiomas: Francés, inglés
Preguntas frecuentes de los lectores
### ¿Cuál es la importancia principal de su algoritmo de multiplicación?
Logró la complejidad de tiempo más rápida conocida para multiplicar números binarios, específicamente O(n log n).
### ¿Qué proyectos de software mantiene?
Es el mantenedor de la plataforma GNU TeXmacs y desarrollador del sistema de álgebra computacional Mathemagix.
