Spécifications des algorithmes de triangulation de systèmes algébro-élémentaires

Anne-Mercedes Bellido; Vincent Jalby

doi:10.1016/S1631-073X(02)02219-7

Spécifications des algorithmes de triangulation de systèmes algébro-élémentaires

Anne-Mercedes Bellido ¹ ; Vincent Jalby ¹

¹ LACO–CNRS UMR 6090, Université de Limoges, 123, avenue Albert Thomas, 87060 Limoges cedex, France

Comptes Rendus. Mathématique, Volume 334 (2002) no. 2, pp. 155-159.

Résumé
Abstract

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 : 2001-11-21
Accepté le : 2001-11-26
Publié le : 2002-01-01

DOI : 10.1016/S1631-073X(02)02219-7

Affiliations des auteurs :

Anne-Mercedes Bellido ¹ ; Vincent Jalby ¹

¹ LACO–CNRS UMR 6090, Université de Limoges, 123, avenue Albert Thomas, 87060 Limoges cedex, France

@article{CRMATH_2002__334_2_155_0,
     author = {Anne-Mercedes Bellido and Vincent Jalby},
     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},
}

TY  - JOUR
AU  - Anne-Mercedes Bellido
AU  - Vincent Jalby
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
DO  - 10.1016/S1631-073X(02)02219-7
LA  - fr
ID  - CRMATH_2002__334_2_155_0
ER  -

%0 Journal Article
%A Anne-Mercedes Bellido
%A Vincent Jalby
%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
%R 10.1016/S1631-073X(02)02219-7
%G fr
%F CRMATH_2002__334_2_155_0

Anne-Mercedes Bellido; Vincent Jalby. Spécifications des algorithmes de triangulation de systèmes algébro-élémentaires. Comptes Rendus. Mathématique, Volume 334 (2002) no. 2, pp. 155-159. doi : 10.1016/S1631-073X(02)02219-7. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/S1631-073X(02)02219-7/

Bibliographie
Cité par

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

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

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

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

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

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

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

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

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

Cité par Sources :

Commentaires - Politique