Geodesic
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

Voir la notice de l'article provenant de la source Numdam

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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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

Cité par Sources :