Informatique mathématique

Une photographie en 2013
Philippe LANGLOIS
Collection
Études
Editeur
Presses Universitaires de Perpignan
Date de publication
19 avril 2013
Résumé
Cet ouvrage rassemble les cours proposés lors de l'édition 2013 de l'Ecole des jeunes chercheurs en informatique mathématique qui s'est tenue à Perpignan en avril 2013. L'informatique mathématique regroupe des thématiques relevant de tous les domaines de l'informatique, pourvu que la démarche de recherche, le point de vue adopté soient "mathématisables". Le groupe de recherche GDR IM rassemble les chercheurs du territoire national travaillant dans ce secteur. L'ouvrage aborde six thèmes présentés par onze spécialistes français du domaine.
FORMAT
Livre broché
22.00 €
Ajout au panier /
Ajouter au panier
Actuellement Indisponible
Crédit
Date de première publication du titre 19 avril 2013
ISBN 9782354121839
EAN-13 9782354121839
Référence 115494-58
Nombre de pages de contenu principal 284
Format 16 x 24 x 0 cm
Poids 538 g

I -   Algorithmique et combinatoire

     1 - Complexité et algorithmes paramétrés

     2 - Théorie des matroïdes et des matroïdes orientés

II - Logique et complexité

     3 - Programmes, preuves et fonctions

     4 - Interprétation abstraite pour la précision numérique

III - Calcul formel, arithmétique et géométrie

     5 - Arithmétique des ordinateurs et preuves formelles

     6 - Analyse géométrique des données

Cet ouvrage rassemble les cours proposés lors de l'édition 2013 de l'Ecole des jeunes chercheurs en informatique mathématique qui s'est tenue à Perpignan en avril 2013. L'informatique mathématique regroupe des thématiques relevant de tous les domaines de l'informatique, pourvu que la démarche de recherche, le point de vue adopté soient "mathématisables". Le groupe de recherche GDR IM rassemble les chercheurs du territoire national travaillant dans ce secteur. L'ouvrage aborde six thèmes présentés par onze spécialistes français du domaine.

Recommandations