Algèbre commutative : méthodes constructives : modules projectifs de type fini : cours et exercices
Ce livre est un cours d'introduction à l'algèbre commutative de base, avec un accent particulier mis sur les modules projectifs de type fini, qui constituent la version algébrique des fibrés vectoriels en géométrie différentielle. Nous utilisons des méthodes constructives, avec lesquelles...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Livre papier |
| Sprache: | Français |
| Veröffentlicht: |
Paris :
Calvage & Mounet
DL 2011.
|
| Schriftenreihe: | Mathématiques en devenir
107 |
| Schlagworte: | |
| Autres localisations: | Voir dans le Sudoc |
| Zusammenfassung: | Ce livre est un cours d'introduction à l'algèbre commutative de base, avec un accent particulier mis sur les modules projectifs de type fini, qui constituent la version algébrique des fibrés vectoriels en géométrie différentielle. Nous utilisons des méthodes constructives, avec lesquelles tous les théorèmes d'existence ont un contenu algorithmique explicite. Les mathématiques constructives peuvent être regardées comme la partie la plus théorique du calcul formel (computer algebra en anglais), qui s'occupe des mathématiques (qui tournent sur ordinateur). Notre cours se distingue cependant des cours de calcul formel usuels sous deux aspects essentiels. Tout d'abord nos algorithmes sont le plus souvent seulement implicites, sous-jacents à la preuve, et ne sont en aucune manière optimisés pour s'exécuter le plus rapidement possible, comme il est naturel lorsque l'on vise une implémentation efficace. Ensuite, notre approche théorique est entièrement constructive, alors que les cours de calcul formel usuels se préoccupent peu de cette question (début avant-propos). |
|---|---|
| Beschreibung: | 1 vol. (XXXI-991 p.) : ill., fig., couv. ill. en coul. ; 24 cm. |
| Bibliographie: | Bibliogr. p. 955-969. Notes bibliogr. Notations. Index |
| ISBN: | 9782916352213 (br.) : |