Alas: un syst`eme d'analyse alg'ebrique. Research Report 968, Institut National de Recherche en Informatique et en Automatique (1989)

by P Zimmermann