EDS: A REDUCE package for exterior differential systems
scientific article; zbMATH DE number 1307045