Ce que vous devez savoir avant
Vous commencez
Débute 4 June 2026 10:49
Se termine 4 June 2026
Organiser les grandes preuves - Techniques, outils et avenir
Institut Henri Poincaré
6076 Cours
1 hour 7 minutes
Amélioration optionnelle disponible
Not Specified
Progressez à votre rythme
Free Video
Amélioration optionnelle disponible
Aperçu
Discover advanced techniques and tools for structuring complex mathematical proofs, exploring current methods and future developments in proof organization.
Matières
Computer Science
