Descripteurs
Documents disponibles dans cette catégorie (5)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Robin Jamet, Auteur |Comment vérifier des théorèmes en faisant de l'origami : parité des plis au sommet, théorèmes de Maekana, de Kawasaki.Exemplaires (2)
Cote Section Localisation Code-barres Disponibilité Archives étagère périodiques CDI 2756 Disponible Archives étagère périodiques CDI 2808 Disponible Article : texte imprimé
Rôle de l'ordinateur dans la démonstration automatique de théorèmes mathématiques. Limites de la vérification humaine. Capacité de contrôle des mathématiciens.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 03028 Disponible Article : texte imprimé
Corentin Paillassard, Auteur |Explication scientifique de ce phénomène.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Pério étagère périodiques CDI 015784 Disponible Article : texte imprimé
Proposition d'une expérience mathématique consistant à tracer un triangle quelconque et aborder le théorème du mathématicien perse Al-Kashi.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 1578 Disponible Article : texte imprimé
Point, en 2011, par un mathématicien, sur le rôle des ordinateurs dans la validation de résultats mathématiques : apports et limites de l'informatique comme assistant de preuve pour aider à la formalisation de la démonstration de théorème.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05385 Disponible