Issues des cours proposés à l'Ecole des jeunes chercheuses et chercheurs en informatique fondamentale et ses mathématiques à Nantes en 2025, des études explorant cinq thèmes de ce domaine sont regroupées. Les contributeurs abordent ainsi l'informatique quantique, la sémantique, la combinatoire énumérative, l'évaluation symbolique numérique et la compilation de connaissances. ©Electre 2025
Informatique fondamentale et ses Mathématiques
Une photographie en 2025
Pascal Vanier (éd.)
L'Informatique fondamentale et ses Mathématiques (IFM) 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 2025 de l'Ecole des Jeunes Chercheuses et Chercheurs en Informatique fondamentale et ses Mathématiques (EJCIFM), organisée à Nantes du 17 au 21 juin 2024 dans le cadre du Groupe de recherche en Informatique fondamentale et ses Mathématiques (GdR IFM) du CNRS. Présentant de manière équilibrée différentes thématiques du domaine IFM, cet ouvrage en propose une photographie.
Cinq thèmes sont présentés par sept spécialistes du domaine : l'informatique quantique, la sémantique, la combinatoire énumérative, l'évaluation symbolique numérique et la compilation de connaissances. Ces chapitres ont été écrits par Miriam Backens, Kostya Chardonnet, Pierre Clairambault, Julien Courtiel, Denis Arzelier, Mioara Joldes et Bruno Zanuttini.
Paru le : 09/07/2025
Thématique : Mathématiques Appliquées
Auteur(s) : Non précisé.
Éditeur(s) :
CNRS Editions
Collection(s) : Alpha
Contributeur(s) : Editeur scientifique (ou intellectuel) : Pascal Vanier
Série(s) : Non précisé.
ISBN : 978-2-271-15855-0
EAN13 : 9782271158550
Reliure : Broché
Pages : 312
Hauteur: 25.0 cm / Largeur 17.0 cm
Épaisseur: 2.4 cm
Poids: 498 g
Carte fidélité
Mollat Radio
