| Titre : | Informatique mathématique : une photographie en 2015 |
| Auteurs : | Nicolas Ollinger, Éditeur scientifique |
| Type de document : | Monographie imprimée |
| Editeur : | [Paris] : CNRS éditions, DL 2015 |
| ISBN/ISSN/EAN : | 978-2-271-08791-1 |
| Format : | 1 (vol. VII-252 p.) / ill. en coul. / 24 cm |
| Note générale : |
Ouvrage publié à l'occasion des cours de l'École des jeunes chercheurs en informatique mathématique, organisés par le GDR IM, Groupement de recherche Informatique mathématique à Orléans du 30 mars au 3 avril 2015
Bibliogr. et webliogr. p. 229-244 |
| Langues: | Français |
| Index. décimale : | 510.285 |
| Catégories : |
[Agneaux] Mathématiques > Informatique |
| Résumé : |
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 2015 de l'École des Jeunes Chercheurs en Informatique Mathématique (EJCIM), organisée à Orléans du 30 mars au 3 avril 2015 dans le cadre du GDR IM. Cinq thèmes sont présentés par douze spécialistes français du domaine : algorithmique en géométrie algébrique, algorithmes modérément exponentiels, programmation parallèle en Coq, modèles de calcul géométriques, contrôle des modèles probabilistes partiellement observables. Présentant de manière équilibrée différentes thématiques du domaine IM, cet ouvrage propose une photographie de l'Informatique Mathématique aujourd'hui" |
| Sommaire : |
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. |
Disponibilité (4)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MAT/785 | Livre | bibliothèque sciences exactes | Consultable |
| MAT/785 | Livre | bibliothèque sciences exactes | Empruntable |
| MAT/785 | Livre | bibliothèque sciences exactes | Empruntable |
| MAT/785 | Livre | bibliothèque sciences exactes | Empruntable |
