O algoritmo de multiplicação mais rápido para números binários de n bits foi descoberto por Joris van der Hoeven e David Harvey, atingindo uma complexidade de tempo O(n log n). Este resultado, revisto por pares e publicado nos Annals of Mathematics em 2021, representa um marco significativo na complexidade computacional, destacando a sua integração da teoria matemática avançada com o desenvolvimento algorítmico de alto desempenho.
Antecedentes académicos e desenvolvimento
Nascido em 1971, Joris van der Hoeven obteve o seu doutoramento na Universidade Paris Diderot em 1997. A sua tese, intitulada Asymptotique automatique, estabeleceu a base para o seu foco posterior em análise algébrica e álgebra computacional. Atualmente, ocupa o cargo de Diretor de Investigação no Centro Nacional de Investigação Científica (CNRS) e lidera a equipa Max Modélisation algébrique no Laboratório de informática da École polytechnique em Palaiseau.
Contribuições de software
Para além do seu trabalho teórico, van der Hoeven está profundamente envolvido no movimento do software livre. Tornou-se o mantenedor do GNU TeXmacs em 1997, uma plataforma concebida para edição científica. Além disso, desenvolveu o Mathemagix, um sistema destinado à álgebra computacional e análise. Estas ferramentas facilitam a aplicação prática da sua investigação sobre propriedades algorítmicas e teoria das funções complexas.
Investigação sobre transéries
Os seus principais interesses de investigação envolvem transéries, que funcionam como generalizações de séries de potências formais. Estas estruturas são essenciais para o estudo de equações diferenciais não lineares e análise algébrica. O seu livro, Transseries and real differential algebra, publicado em 2006, serve como referência chave. Explorou ainda mais esta área no texto de 2017 Asymptotic differential algebra and model theory of transseries, em coautoria com Matthias Aschenbrenner e Lou van den Dries.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Prémios e reconhecimento
Os esforços colaborativos de van der Hoeven atraíram uma atenção académica significativa. Em 2018, proferiu uma palestra intitulada On numbers, germs, and transseries no Congresso Internacional de Matemáticos no Rio de Janeiro, juntamente com Aschenbrenner e van den Dries. No mesmo ano, o grupo recebeu o Prémio Carol Karp. Foi também galardoado com o prémio N. G. de Bruijn em 2022.
Factos rápidos
- Nascimento: 1971 - Cidadania: França - Educação: Universidade Paris Diderot - Empregador: CNRS e École polytechnique - Local de trabalho: Palaiseau - Prémio Carol Karp: 2018 - Prémio N. G. de Bruijn: 2022 - Idiomas: Francês, inglês
Perguntas dos leitores
### Qual é a importância principal do seu algoritmo de multiplicação?
Atingiu a complexidade de tempo mais rápida conhecida para multiplicar números binários, especificamente O(n log n).
### Que projetos de software mantém?
É o mantenedor da plataforma GNU TeXmacs e um desenvolvedor do sistema de álgebra computacional Mathemagix.
