Applications of computer algebra (Kluwer Acad. Publ., 1986)