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
Étant donné un système d’équations linéaires homogènes à 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].
@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 -
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 :