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.
Bellido, Anne-Mercedes 1 ; Jalby, Vincent 1
@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 :