Aide à la recherche   Requête : assistant de preuve

1	2020 Tangente. N° 197. p. 17-17. Lean : un forum collaboratif.
2	2019 Bibliothèque Tangente. N° 68. Intelligence artificielle.
3	2019 Quadrature. N° 111. p. 25-30. Nombres premiers, Euclide et Coq.
4	2018 Tangente Hors-série. N° 68. Intelligence artificielle.
5	2017 Maths Langages express. Démonstrations automatiques assistées par ordinateur. p. 57-62.
6	2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
7	2016 Maths Société express.
8	2016 Maths Société express. Informatique et mathématiques, un partenariat gagnant. p. 15-20.
9	2014 Bibliothèque Tangente. N° 52. Démonstration : l'ordinateur à la rescousse. p. 76-79.
10	2014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
11	2014 Tangente Hors-série. N° 52. L'informatique riche des maths.
12	2014 Tangente Hors-série. N° 52. p. 34-36. Démonstration : l'ordinateur à la rescousse.
13	2002 Quadrature. N° 45. p. 25-36. Apprentissage du raisonnement assisté par ordinateur.
14	2001 Introduction à la logique.
15	1979 L'Ouvert. N° 17.
16	1979 L'Ouvert. N° 17. p. 3-7. La preuve par ordinateur.