%0 Journal Article
%A Simon, Odile
%T Algorithme de multiplicativité des sommes de carrés
%J RAIRO. Informatique théorique et applications
%D 1992
%P 485-506
%V 26
%N 6
%I EDP-Sciences
%U https://www.numdam.org/item/ITA_1992__26_6_485_0/
%G fr
%F ITA_1992__26_6_485_0