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...
Bewaard in:
| Hoofdauteurs: | , |
|---|---|
| Formaat: | Livre papier |
| Taal: | Français |
| Gepubliceerd in: |
Paris :
Calvage & Mounet
DL 2011.
|
| Reeks: | Mathématiques en devenir
107 |
| Onderwerpen: | |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 02304nam a22003137a 4500 | ||
|---|---|---|---|
| 001 | 420792 | ||
| 008 | 120112s2011 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN157597121 | ||
| 020 | |a 9782916352213 (br.) : |c 69 EUR | ||
| 024 | |a 9782916352213 | ||
| 041 | 0 | |a fre | |
| 082 | |a 512.44 | ||
| 084 | |a F.m | ||
| 084 | |a 13-xx. 2010 | ||
| 084 | |a 03Fxx. 2010 | ||
| 084 | |a 06Dxx. 2010 | ||
| 084 | |a 14Qxx. 2010 | ||
| 100 | 1 | |a Lombardi, Henri, |d 19..- | |
| 245 | 1 | 0 | |a Algèbre commutative : |b méthodes constructives : modules projectifs de type fini : cours et exercices |c Henri Lombardi & Claude Quitté. |
| 260 | |a Paris : |b Calvage & Mounet, |c DL 2011. | ||
| 300 | |a 1 vol. (XXXI-991 p.) : |b ill., fig., couv. ill. en coul. ; |c 24 cm. | ||
| 490 | 1 | |a Mathématiques en devenir |v 107 | |
| 504 | |a Bibliogr. p. 955-969. Notes bibliogr. Notations. Index | ||
| 520 | |a 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). | ||
| 650 | |a Algèbres commutatives | ||
| 650 | |a Modules projectifs (algèbre) | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 700 | 1 | |a Quitté, Claude, |d 19..-...., |c mathématicien. |4 aut | |
| 997 | |0 420792 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, B9598 | ||