Informatique Mathématique : une photographie en 2013

Publié par PU Perpignan, le 19 avril 2013

283 pages

Résumé

Cet ouvrage, premier du genre, rassemble les cours dispensés lors de l'édition 2013 de la classique Ecole des Jeunes Chercheurs du GDR IM (Groupe de Recherche Informatique Mathématique) du CNRS, qui se déroulera du 8 au 12 avril 2013 à l'Université de Perpignan Via Domitia. Chaque cours fait l'objet d'un chapitre présenté par des spécialistes français internationalement reconnus. Les grands axes de l'Informatique Mathématique, algorithmique et combinatoire, logique et complexité, calcul formel, arithmétique et géométries, sont illustrés par des sujets d'actualité : complexité et algorithmes paramétrés, matroïdes, programmes, preuves et fonctions, interprétation abstraite pour la précision numérique, arithmétique des ordinateurs et preuves formelles, analyse géométrique des données. Les jeunes chercheurs, docteurs plus ou moins deux ans, mais aussi les moins jeunes, pourront ainsi (re)découvrir les fondements des sujets choisis pour composer ainsi une photographie de la recherche en Informatique Mathématique en 2013.

Circuit. Vol. 26 No. 3, 2016 - Musiques aux limites de l’image / Images at the Limits of Music

Informatique Mathématique : une photographie en 2013

Les cloches d'Atlantis - Musique électroacoustique et cinéma, archéologie et histoire d'un art sonore

Critiques