An introduction to constructive algebraic analysis and its applications

Alban Quadrat 1
Résumé : Ce texte est une extension des notes de cours que j'ai préparés pour les les Journées Nationales de Calcul Formel qui ont eu lieu au CIRM, Luminy (France) du 3 au 7 Mai 2010. Le but principal de ce cours était d'introduire la communauté française du calcul formel à l'analyse algébrique constructive, et particulièrement à la théorie des D-modules algébriques, à ses applications à la théorie mathématique des systèmes et à ses implantations dans des logiciels de calcul formel tels que Maple ou GAP4. Parce que l'analyse algébrique est une théorie mathématique qui utilise différentes techniques venant de la théorie des modules, de l'algèbre homologique, de la théorie des faisceaux, de la géométrie algébrique et de l'analyse microlocale, il peut être difficile d'entrer dans ce domaine, nouveau et fascinant, des mathématiques. En effet, il existe peu de textes introductifs. Nous sommes rapidement conduits aux livres de Björk qui, à première vue, peuvent sembler difficiles aux membres de la communauté de calcul formel et aux mathématiciens appliqués. Je pense que le problème vient moins de la difficulté technique de la littérature existante que du manque d'introductions pédagogiques qui donnent une idée globale du domaine, montrent quels types de résultats et d'applications on peut attendre et qui développent les différents calculs à mener sur des exemples explicites. A leur humble niveau, ces notes de cours ont pour but de combler ce manque, tout du moins en ce qui concerne les idées de base de l'analyse algébrique. Puisque l'on ne peut enseigner bien que les choses que l'on a bien comprises, j'ai choisi de restreindre cette introduction à mes travaux sur les aspects constructifs de l'analyse algébrique et sur ses applications.
Type de document :
Rapport
[Research Report] RR-7354, INRIA. 2010, pp.237
Liste complète des métadonnées

https://hal.inria.fr/inria-00506104
Contributeur : Alban Quadrat <>
Soumis le : mardi 27 juillet 2010 - 11:17:34
Dernière modification le : samedi 17 septembre 2016 - 01:36:48
Document(s) archivé(s) le : mardi 23 octobre 2012 - 11:26:43

Fichier

Cours.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00506104, version 1

Collections

Citation

Alban Quadrat. An introduction to constructive algebraic analysis and its applications. [Research Report] RR-7354, INRIA. 2010, pp.237. <inria-00506104>

Partager

Métriques

Consultations de
la notice

333

Téléchargements du document

277