%0 Journal Article %A Zimmermann, Paul %T Calcul formel : ce qu’il y a dans la boîte %J Journées mathématiques X-UPS %D 1997 %P 55-72 %I Les Éditions de l’École polytechnique %U http://archive.numdam.org/articles/10.5802/xups.1997-03/ %R 10.5802/xups.1997-03 %G fr %F XUPS_1997____55_0