Design and Implementation of Symbolic Computation Systems: International Symposium, Disco '92, Bath, U.k., April 13-15, 1992. Proceedings (International Symposium, Disco '92, Bath, U.k., April 13-15, 1992 - Proceedings) - Lecture Notes in Computer Science

Marc Notes: Includes bibliographical references and index. Table of Contents: Template-based formula editing in Kaava.- Algebraic simplification of multiple-valued functions.- In-place arithmetic for polynomials over Zn.- LILK Static analysis of REDUCE code.- The extensions of the Sisyphe computer algebra system: ulysse and athena.- AlgBench: An object-oriented symbolic core system.- SymO2: Objects and classes for symbolic computation systems.- Building a Computer Algebra environment by composition of collaborative tools.- An assume facility for CAS, with a sample implementation for Maple.- REDUCE meets CAMAL.- Combinatory models and symbolic computation.- A uniform approach to deduction and automatic implementation.- A simple general purpose technique for interfacing between computer algebra and numerical analysis systems.- Recurrent relations and speed-up of computations using computer algebra systems.- Design and implementation of a retargetable ALDES compiler.- Data representation and in-built compilation in the computer algebra program FELIX.- An abstract data type development of graded rings.- An object-oriented approach to indexed mathematical objects for the manipulation of sums and series."

Contributor Bio:  Fitch, John John Fitch was the judge advocate of the Army of the Cumberland, who wrote the work as a memorial to the Army of the Cumberland. The book was so popular it required five editions.