Folha: 'O experimento do tensor líquido’
Viana comenta uso da linguagem de programação Lean na validação de um teorema do fields Peter Scholze
Viana comenta uso da linguagem de programação Lean na validação de um teorema do fields Peter Scholze
Doutorando defende tese na próxima quinta-feira (16), às 9h30, sob orientação do diretor-geral, Marcelo Viana
Instituto oferecerá três vagas; inscrições vão até 26 de abril
Em entrevista ao jornal, Marcelo Viana afirma que estratégia chinesa vai além dos investimentos
45ª edição do congresso irá de 14 a 18 de setembro na cidade localizada no Oeste Paulista
Seminários Centro Pi - Aula 02 - André Maximo - 3D Gaussian Splatting for Realistic Physical AI Simulations
35º CBM - Cerimônia de Abertura
PROLÍMPICO - 11° Edição 2025 - Nível A - Aula 01 - Representações, Sistema Decimal e Resolução de Problemas nos Anos Iniciais
Cerimônia Nacional de Premiação dos Medalhistas de Ouro da 19ª OBMEP - IMPA