Auteur Benoît Rognier
|
Documents disponibles écrits par cet auteur (1)

![]()
Article : texte imprimé
Le point sur l'utilisation de programmes informatiques dans certaines activités mathématiques : la possibilité de la démonstration de théorèmes par un ordinateur si la démonstration est transformée en un problème calculatoire ; la démarche de l'[...]