http://www-sop.inria.fr/saga/logiciels/emiris/logiciels.alg-eng.html