Spécifications des algorithmes de triangulation de systèmes algébro-élémentaires
Bellido, Anne-Mercedes1 ; Jalby, Vincent1
1 LACO–CNRS UMR 6090, Université de Limoges, 123, avenue Albert Thomas, 87060 Limoges cedex, France
Comptes Rendus. Mathématique, Tome 334 (2002) no. 2, pp. 155-159.

Nous formalisons des spécifications souhaitables pour un système algébro-élémentaire triangulaire dans le but de minimiser l'importance de la partie élémentaire. Une application algorithmique est donnée.

We formalize worthwhile specifications for triangular elementary-algebraic systems in order to minimize the importance of the elementary part. An algorithmic application is given.

Reçu le :
Accepté le :
Publié le :
DOI : 10.1016/S1631-073X(02)02219-7
Bellido, Anne-Mercedes 1 ; Jalby, Vincent 1

1 LACO–CNRS UMR 6090, Université de Limoges, 123, avenue Albert Thomas, 87060 Limoges cedex, France 
@article{CRMATH_2002__334_2_155_0,
     author = {Bellido, Anne-Mercedes and Jalby, Vincent},
     title = {Sp\'ecifications des algorithmes de triangulation de~syst\`emes alg\'ebro-\'el\'ementaires},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {155--159},
     publisher = {Elsevier},
     volume = {334},
     number = {2},
     year = {2002},
     doi = {10.1016/S1631-073X(02)02219-7},
     language = {fr},
     url = {http://www.numdam.org/articles/10.1016/S1631-073X(02)02219-7/}
}
TY  - JOUR
AU  - Bellido, Anne-Mercedes
AU  - Jalby, Vincent
TI  - Spécifications des algorithmes de triangulation de systèmes algébro-élémentaires
JO  - Comptes Rendus. Mathématique
PY  - 2002
SP  - 155
EP  - 159
VL  - 334
IS  - 2
PB  - Elsevier
UR  - http://www.numdam.org/articles/10.1016/S1631-073X(02)02219-7/
DO  - 10.1016/S1631-073X(02)02219-7
LA  - fr
ID  - CRMATH_2002__334_2_155_0
ER  - 
%0 Journal Article
%A Bellido, Anne-Mercedes
%A Jalby, Vincent
%T Spécifications des algorithmes de triangulation de systèmes algébro-élémentaires
%J Comptes Rendus. Mathématique
%D 2002
%P 155-159
%V 334
%N 2
%I Elsevier
%U http://www.numdam.org/articles/10.1016/S1631-073X(02)02219-7/
%R 10.1016/S1631-073X(02)02219-7
%G fr
%F CRMATH_2002__334_2_155_0
Bellido, Anne-Mercedes; Jalby, Vincent. Spécifications des algorithmes de triangulation de systèmes algébro-élémentaires. Comptes Rendus. Mathématique, Tome 334 (2002) no. 2, pp. 155-159. doi : 10.1016/S1631-073X(02)02219-7. http://www.numdam.org/articles/10.1016/S1631-073X(02)02219-7/

[1] Aubry, P.; Lazard, D.; Moreno Maza, M. On the theory of triangular sets, J. Symbolic Comput., Volume 28 (1999), pp. 105-124

[2] Aubry, P.; Moreno Maza, M. Triangular sets for solving polynomial systems; a comparative implementation of four methods, J. Symbolic Comput., Volume 28 (1999), pp. 125-154

[3] Bareiss, E.H. Sylvester's identity and multistep integer preserving Gaussian elimination, Math. Comp., Volume 22 (1968), pp. 565-578

[4] Dellière, S. On the link between triangular set and dynamic constructible closure, J. Pure Appl. Algebra, Volume 163 (2001), pp. 49-68

[5] Duval, D.; Gómez-Dı́az, T. A lazy method for triangularizing polynomial systems, Publications du LACO, Volume 4 (1995)

[6] Gabrielov, A.; Vorobjov, N. Complexity of stratifications of semi-Pfaffian sets, Discrete Comput. Geom., Volume 14 (1995), pp. 71-91

[7] Losajiewicz, S. Triangulation of semi-analytic sets, Ann. Scuola Norm. Sup. Pisa, Volume 18 (1964), pp. 449-474

[8] Richardson, D. Weak Wu stratification in ℝ n , J. Symbolic Comput., Volume 28 (1999), pp. 213-223

[9] Wang, D. Decomposing polynomial systems into simple systems, J. Symbolic Comput., Volume 16 (1998), pp. 83-114

Cité par Sources :