Details for: Informatique mathématique , une photographie en 2015

Normal view MARC view

Informatique mathématique : une photographie en 2015 / Florent Becker, Nathalie Bertrand, Wadoud Bousdira... [et al.] ; Nicolas Ollinger (éd.)

Ouvrage

Auteur principal: T'kindt, Vincent, 1973-...., chercheur en informatique, AuteurCo-auteur: Ollinger, Nicolas, 19..-...., EditeurLangue : françaisPays : France.Publication : [Paris] : CNRS éditions, DL 2015Description: 1 vol. (VII-252 p.), ill. en noir et en coul., couv. ill. en coul., 25 cmISBN : 9782271087911.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".Bibliographie : Bibliogr. p. [229]-244. Notes bibliogr..Sujet - Nom commun: Informatique -- Mathématiques | Algorithmes

Holdings ( 1 )
Title notes ( 5 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Ouvrage	La bibliothèque de l'ESPCI Magasin	IF-074 (Browse shelf(Opens below))	Available		IF-074

Browsing La bibliothèque de l'ESPCI shelves, Shelving location: Magasin Close shelf browser (Hides shelf browser)

Previous								Next
Previous	IF-071 Parallel programming with Python., Develop efficient parallel systems using the robust Python environment	IF-072 Initiation au logiciel R, premiers pas en analyse de données, survol théorique et applications avec Rcmdr et FactoMineR	IF-073 Langage R, application à la statistique, à l'actuariat et à la finance	IF-074 Informatique mathématique, une photographie en 2015	IF-075 Informatique pour tous, classes préparatoires scientifiques 1re et 2e années	IF-076 Apprendre à programmer avec C et Python, cours et exercices corrigés	IF-077 Python 3, les fondamentaux du langage	Next

La couv. porte en plus : "gdr iM" (Groupe de recherche informatique mathématique)

Autres contributions : Jérôme Durand-Lose, Serge Haddad, Christophe Lenté, Mathieu Liedloff, Frédéric Loulergue, Mohab Safey El Din, Julien Tesson, Vincent T'Kindt, Ioan Todinca (auteurs)

Bibliogr. p. [229]-244. Notes bibliogr.

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"

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.