Informatique mathématique : une photographie en 2015
La 4e de couv. indique : "L'Informatique Mathématique (IM) regroupe des thématiques relevant a priori de tous les domaines de l'informatique, pourvu que la démarche de recherche ou le point de vue adoptés soient mathématisables . Cet ouvrage réunit les cours proposés à l'édition...
Enregistré dans:
Auteur principal : | |
---|---|
Autres auteurs : | |
Format : | Livre |
Langue : | français |
Titre complet : | Informatique mathématique : une photographie en 2015 / Florent Becker, Nathalie Bertrand, Wadoud Bousdira... [et al.]; Nicolas Ollinger (éd.) |
Publié : |
[Paris] :
CNRS éditions
, DL 2015 |
Description matérielle : | 1 vol. (VII-252 p.) |
Sujets : |
- 1. Algorithmes efficaces en géométrie algébrique réelle.
- 2. Algorithmes modérément exponentiels.
- 3. Calcul des programmes parallèles avec Coq.
- 4. Construire et calculer dans un monde en 2D.
- 5. Contrôle, probabilités et obsezrvation partielle.