Piste bleue
Pythagore et mixité
20 juin 2017
Très illustré
> 30 minutes
Preuve assistée par ordinateur
Piste rouge
Coqito ergo sum
par
Aurélien Alvarez
8 décembre 2014
Peu illustré
> 30 minutes
Hors-piste
Un ordinateur pour vérifier les preuves mathématiques
par
Assia Mahboubi
27 août 2014
Bien illustré
> 30 minutes
Piste verte
Coq et caractères
par
Jérôme Germoni
23 novembre 2012
Bien illustré
15 - 30 minutes