preuve assistée par ordinateur

Il y a 34 résultats avec cette recherche.

1979 L’Ouvert. N° 17.

Auteur : IREM de Strasbourg L'Ouvert. Dir.
1991 Tangente. N° 20. p. 4-5. Tangente : mode d’emploi.

Auteurs : Cohen Gilles ; Casiro Francis ; Deledicq André
2014 Bibliothèque Tangente. N° 52. Mathématiques et informatique.

Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. Les démonstrations.

Auteur : Cohen Gilles. Dir.
2014 Tangente Hors-série. N° 52. L’informatique riche des maths.

Auteur : Cohen Gilles. Dir.
2018 Tangente Hors-série. N° 68. Intelligence artificielle.

Auteur : Cohen Gilles. Dir.
2019 Bibliothèque Tangente. N° 68. Intelligence artificielle.

Auteur : Cohen Gilles. Dir.
1984 PLOT. N° 28.

Auteur : APMEP PLOT. 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
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
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
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. Comment prouver son identité. p. 134-136.

Auteur : Lehning Hervé
2009 Mathématice. N° 14. La démonstration géométrique revisitée avec Exogéo.

Auteur : Faucheu Hugues
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
2000 PLOT. N° 91. p. 21-26. Le théorème des 4 couleurs.

Auteur : Darche Michel
2000 PLOT. N° 91.

Auteur : APMEP PLOT. Dir.
2019 Bibliothèque Tangente. N° 68. Les preuves par ordinateur. p. 122-126.

Auteur : Lehning Hervé
1991 Tangente. N° 20. p. 12-15. Le théorème des 4 couleurs.

Auteur : Tangente Comité de rédaction. Dir.
2018 Tangente Hors-série. N° 68. p. 28-30. Les preuves par ordinateur.

Auteur : Lehning Hervé
2009 Mathématice. N° 17. Construire avec GeoGebra puis démontrer avec Exogéo.

Auteur : Faucheu Hugues
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.

Auteur : Schabanel Nicolas