Cet ouvrage rassemble les cours dispensés en 2013 à l'Ecole des jeunes chercheurs du Groupe de recherche informatique mathématique du CNRS. Sont abordés l'algorithmique et le combinatoire, la logique et la complexité, le calcul formel, l'arithmétique et la géométrie. Ces questions sont illustrées par des sujets d'actualité. ©Electre 2024
Cet ouvrage, premier du genre, rassemble les cours proposés à l'édition 2013 de l'École des jeunes Chercheurs en Informatique Mathématique, organisée à Perpignan du 8 au 12 avril 2013.
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, le point de vue adopté, soient « mathématisables ». Le GDR IM rassemble les chercheurs du territoire national travaillant en informatique mathématique. Avec eux, il contribue à mieux faire vivre le domaine IM, par le biais d'actions de structuration et d'animation scientifiques, et de formation. Ainsi chaque année depuis 1996, il organise l'EJCIM, l'École des Jeunes Chercheurs en Informatique Mathématique. Ces écoles permettent aux jeunes chercheurs - doctorants ou jeunes docteurs - de compléter leur connaissance du domaine IM.
Cet ouvrage rassemble six thèmes présentés par onze spécialistes français du domaine : la complexité et les algorithmes paramétrés, la théorie des matroïdes et des matroïdes orientés, la correspondance entre preuves et programmes, l'interprétation abstraite pour la précision numérique, les preuves formelles en arithmétique des ordinateurs, et l'analyse géométrique des données. Les cours choisis pour chaque édition de l'école visent à une présentation équilibrée des différentes thématiques du domaine IM. Ainsi cet ouvrage propose une photographie de l'informatique mathématique, photographie prise à l'occasion de l'EJCIM, édition 2013.
Paru le : 19/04/2013
Thématique : Mathématiques Appliquées
Auteur(s) : Non précisé.
Éditeur(s) :
Presses universitaires de Perpignan
Collection(s) : Etudes
Contributeur(s) : Editeur scientifique (ou intellectuel) : Philippe Langlois
Série(s) : Non précisé.
ISBN : 978-2-35412-183-9
EAN13 : 9782354121839
Reliure : Broché
Pages : XIX-283
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 1.7 cm
Poids: 542 g
Carte fidélité
Mollat Radio
