Bases standard, élimination et complexité
Journées mathématiques X-UPS, Calcul formel (1997), pp. 1-30 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'acte

Étant donné un système d’équations linéaires homogènes à n+1 variables, les formules de Cramer permettent de paramétrer les solutions en fonction d’un certain nombre de variables que l’on peut choisir arbitrairement.

Nous nous proposons d’établir un résultat analogue pour des systèmes d’équations non linéaires : il s’agit du lemme de normalisation de Noether. Nous allons nous poser à son sujet des questions d’algorithmique et de complexité. Tout ce qui suit provient essentiellement des deux articles [Giu88], [GH93].

Publié le :
DOI : 10.5802/xups.1997-01

Giusti, Marc 1

1 Laboratoire GAGE, GDR de Calcul Formel MEDICIS, Centre de Mathématiques, École Polytechnique, 91128 Palaiseau cedex
@incollection{XUPS_1997____1_0,
     author = {Giusti, Marc},
     title = {Bases standard, \'elimination~et~complexit\'e},
     booktitle = {Calcul formel},
     series = {Journ\'ees math\'ematiques X-UPS},
     pages = {1--30},
     year = {1997},
     publisher = {Les \'Editions de l{\textquoteright}\'Ecole polytechnique},
     doi = {10.5802/xups.1997-01},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/articles/10.5802/xups.1997-01/}
}
TY  - JOUR
AU  - Giusti, Marc
TI  - Bases standard, élimination et complexité
JO  - Journées mathématiques X-UPS
PY  - 1997
SP  - 1
EP  - 30
PB  - Les Éditions de l’École polytechnique
UR  - http://geodesic.mathdoc.fr/articles/10.5802/xups.1997-01/
DO  - 10.5802/xups.1997-01
LA  - fr
ID  - XUPS_1997____1_0
ER  - 
%0 Journal Article
%A Giusti, Marc
%T Bases standard, élimination et complexité
%J Journées mathématiques X-UPS
%D 1997
%P 1-30
%I Les Éditions de l’École polytechnique
%U http://geodesic.mathdoc.fr/articles/10.5802/xups.1997-01/
%R 10.5802/xups.1997-01
%G fr
%F XUPS_1997____1_0
Giusti, Marc. Bases standard, élimination et complexité. Journées mathématiques X-UPS, Calcul formel (1997), pp. 1-30. doi: 10.5802/xups.1997-01

Cité par Sources :