Mots-clés – Auteurs

preuve assistée par ordinateur

Il y a 34 résultats pour cette recherche

2019 Bibliothèque Tangente. N° 68. Les preuves par ordinateur. p. 122-126.
Auteur : Lehning Hervé
2019 Bibliothèque Tangente. N° 68. Intelligence artificielle.
Auteur : Cohen Gilles. Dir.
2018 Tangente Hors-série. N° 68. p. 28-30. Les preuves par ordinateur.
Auteur : Lehning Hervé
2018 Tangente Hors-série. N° 68. Intelligence artificielle.
Auteur : Cohen Gilles. Dir.
2017 Maths Langages express.
Auteurs : Pestel Marie-José. Dir. ; Thomas Edouard. Dir.
2017 Maths Langages express. Démonstrations automatiques assistées par ordinateur. p. 57-62.
Auteur : Mahboubi Assia
2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
Auteur : Alvarez Aurélien
2015 Bibliothèque Tangente. N° 55. Comment prouver son identité. p. 134-136.
Auteur : Lehning Hervé
2015 Bibliothèque Tangente. N° 55. Réduire la taille d’une preuve. p. 152-155.
Auteur : Schabanel Nicolas
2015 Bibliothèque Tangente. N° 55. Le « petit » théorème PCP. p. 148-151.
Auteur : Schabanel Nicolas
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
Auteur : Schabanel Nicolas
2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.
Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
2015 Bibliothèque Tangente. N° 55. Prouver rapidement qu’une propriété est vérifiée… ou pas. p. 132-133.
Auteur : Blanchard Nicolas K.
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 130-131.
Auteur : Nguyen Le Than Dung
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2014 Bibliothèque Tangente. N° 52. Démonstration : l’ordinateur à la rescousse. p. 76-79.
Auteur : Filliâtre Jean-Christophe
2014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.
Auteur : Cohen Gilles. Dir.
2014 Tangente Hors-série. N° 52. p. 34-36. Démonstration : l’ordinateur à la rescousse.
Auteur : Filliâtre Jean-Christophe
2014 Tangente Hors-série. N° 52. L’informatique riche des maths.
Auteur : Cohen Gilles. Dir.
2009 Mathématice. N° 17. Construire avec GeoGebra puis démontrer avec Exogéo.
Auteur : Faucheu Hugues
2009 Mathématice. N° 14. La démonstration géométrique revisitée avec Exogéo.
Auteur : Faucheu Hugues
2007 Mathematice. N° 7. Le calcul algébrique au premier trimestre de Première S.
Auteur : Lagrange Jean-Baptiste
2002 Quadrature. N° 45. p. 25-36. Apprentissage du raisonnement assisté par ordinateur.
Auteurs : Raffalli Christophe ; David René
2000 PLOT. N° 91.
Auteur : APMEP PLOT. Dir.
2000 PLOT. N° 91. p. 21-26. Le théorème des 4 couleurs.
Auteur : Darche Michel
1991 Tangente. N° 20. p. 4-5. Tangente : mode d’emploi.
Auteurs : Cohen Gilles ; Casiro Francis ; Deledicq André
1991 Tangente. N° 20. p. 12-15. Le théorème des 4 couleurs.
Auteur : Tangente Comité de rédaction. Dir.
1984 Bulletin de l’APMEP. N° 345. p. 509-522. L’influence des ordinateurs et de l’informatique sur les mathématiques et leur enseignement, premier rapport CIEM (Commission Internationale sur l’Enseignement des Mathématiques).
Auteurs : Churchhouse Robert F. ; Cornu Bernard ; Ershov Andrei Petrovich ; Howson Albert Geoffrey ; Kahane Jean-Pierre ; Pluvinage François ; Ralston Anthony ; van Lint Jacobus Hendricus ; Yamaguti Masaya
1984 PLOT. N° 28.
Auteur : APMEP PLOT. Dir.
1984 Bulletin de l’APMEP. N° 344. p. 383-389. Infor »math »ique. Chic et toc ?
Auteur : Boule François
1984 PLOT. N° 28. p. 19-27. L’influence des ordinateurs et de l’informatique sur les mathématiques et leur enseignement.
Auteurs : Churchhouse Robert F. ; Cornu Bernard ; Ershov Andrei Petrovich ; Howson Albert Geoffrey ; Kahane Jean-Pierre ; Pluvinage François ; Ralston Anthony ; van Lint Jacobus Hendricus ; Yamaguti Masaya
1979 L’Ouvert. N° 17. p. 3-7. La preuve par ordinateur.
Auteurs : Cartier Pierre ; Martinet Jean
1979 L’Ouvert. N° 17.
Auteur : IREM de Strasbourg L’Ouvert. Dir.
1977 Quelques apports de l’informatique à l’enseignement des mathématiques.
Auteurs : APMEP Commission Informatique ; Deledicq André. Dir.