Design and Implementation of Symbolic Computation Systems

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.