Accueil Publimath  Aide à la recherche  Requête : "assistant de preuve"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
8 fiches trouvées

12017 Quadrature. Num. 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
22014 Bibliothèque Tangente. Num. 52. Démonstration : l'ordinateur à la rescousse. p. 76-79.
32014 Bibliothèque Tangente. Num. 52. Mathématiques et informatique.
42014 Tangente Hors-série. Num. 52. p. 34-36. Démonstration : l'ordinateur à la rescousse.
52014 Tangente Hors-série. Num. 52. L'informatique riche des maths.
62002 Quadrature. Num. 45. p. 25-36. Apprentissage du raisonnement assisté par ordinateur.
71979 L'Ouvert. Num. 17.Ressource en ligne
81979 L'Ouvert. Num. 17. p. 3-7. La preuve par ordinateur.Ressource en ligne