38:01
publiée le 25 février 2026
Communications sécurisées avec des variables quantiques continues
De Philippe Grangier
01:07:11
publiée le 23 décembre 2025
Organising large proofs: techniques, tools, and future
De Georges Gonthier
01:03:39
publiée le 22 décembre 2025
Nonlinear Landau levels (NLLs) in the almost-bosonic anyon gas
De Douglas Lundholm
01:02:14
publiée le 15 décembre 2025
Waterproof: transforming a proof assistant into an educational tool
De Jim Portegies