Algorithmes Efficaces en Calcul Formel

Alin Bostan 1 Frédéric Chyzak 1 Marc Giusti 2 Romain Lebreton 3 Grégoire Lecerf 2 Bruno Salvy 4 Eric Schost 5
3 ECO - Exact Computing
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
4 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Résumé : Le calcul formel traite des objets mathématiques exacts d’un point de vue informatique. Cet ouvrage « Algorithmes efficaces en calcul formel » explore deux directions : la calculabilité et la complexité. La calculabilité étudie les classes d’objets mathématiques sur lesquelles des réponses peuvent être obtenues algorithmiquement. La complexité donne ensuite des outils pour comparer des algorithmes du point de vue de leur efficacité. Cet ouvrage est une synthèse de notes de cours rédigées principalement pour le cours du même nom que nous avons donné pendant plus de dix ans au Master Parisien de Recherche en Informatique de l’Université Paris Diderot, des Écoles Normales Supérieures de Cachan et de Paris, et de l’École polytechnique. La partie concernant les systèmes polynomiaux provient aussi de notes de cours donnés au DEA Méthodes algébriques puis au Master Algèbre et Géométrie de l’Université Pierre-et-Marie-Curie, mais aussi au DEA Informatique Mathématique et Applications de l’École Normale Supérieure de Paris, l’École polytechnique, l’Université Pierre-et-Marie-Curie, l’Université Paris Diderot, et l’Université Paris-Sud. Plusieurs parties ont aussi fait l’objet de mini-cours plus spécialisés donnés à l’occasion des Journées Nationales de Calcul Formel en 2007, 2010, 2011, et 2013.
Type de document :
Ouvrage (y compris édition critique et traduction)
published by the Authors, 2017, 〈https://hal.archives-ouvertes.fr/AECF/ 〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01431717
Contributeur : Frédéric Chyzak <>
Soumis le : mercredi 11 janvier 2017 - 11:02:23
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : vendredi 14 avril 2017 - 14:29:16

Fichier

aecf@svn1386.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Partage selon les Conditions Initiales 4.0 International License

Identifiants

  • HAL Id : hal-01431717, version 1

Citation

Alin Bostan, Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, et al.. Algorithmes Efficaces en Calcul Formel. published by the Authors, 2017, 〈https://hal.archives-ouvertes.fr/AECF/ 〉. 〈hal-01431717〉

Partager

Métriques

Consultations de la notice

1256

Téléchargements de fichiers

763