@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/}
}