Algorithme de multiplicativité des sommes de carrés Odile Simon RAIRO-Theor. Inf. Appl., 26 6 (1992) 485-506 Published online: 01 February 2017 DOI: 10.1051/ita/1992260604851