Report - ANNETTE PAUGAM …Dans les années 70-80, Collins [1] a mis au point un programme : « cylindrical algebraic décomposition », qui en théorie permet d'éliminer les quantifica-teurs.

Please pass captcha verification before submit form