Volumes antérieurs > Volume 55, No. 1 > Mathématiques et nouvelles technologies, p. 56 La banalité des outils technologiques : que vaut une preuve assistée par ordinateur ? Jean-Philippe Villeneuve, Département de mathématiques, Cégep de Rimouski Télécharger le PDF