Le logiciel ADOCS de visualisation de structures combinatoires réalisé par F. Bertault est diffusé sur le serveur ftp.loria.fr. Le système de calcul formel MUPAD, diffusé par l'Université de Paderborn, et au développement duquel P. Zimmermann a contribué, est disponible sur le serveur ftp.inria.fr.