Assia Mahboubi, « Démonstrations assistées par ordinateur » (07/02/2019)

Fiche du document

Auteur
Date

14 janvier 2019

Discipline
Types de document
Périmètre
Identifiant
Source

Séminaire Codes sources

Collection

Hypothèses : carnets de recherches en Sciences humaines et sociales

Organisation

OpenEdition

Licence

info:eu-repo/semantics/openAccess

Sujets proches Fr

Micro-informatique Hardware Ordinateur

Citer ce document

Baptiste Mélès, « Assia Mahboubi, « Démonstrations assistées par ordinateur » (07/02/2019) », Séminaire Codes sources, ID : 10.58079/mzrz

Métriques

Partage / Export

Résumé 0

Assia MAHBOUBI (Inria, LS2N, Université de Nantes) « Démonstrations assistées par ordinateur » Informations pratiques Jeudi 7 février 2019 Salle 24-25/405 du LIP6 (rotonde 25, 4e étage) 4 place Jussieu, 75005 Paris métro Jussieu (lignes 7 et 10) Affiche (PDF) Résumé Les ordinateurs ont profondément transformé la pratique des mathématiques contemporaines, mettant en particulier leur puissance de calcul au service de l'observation, de la conjecture et même de la validation "p...

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en