DISCO 92 was held on the Newton Park campus of Bath College of Higher Education, England, April 13-15, 1992. Beside the formal lectures dedicated to design and implementation issues of computer algebra, there were several software demonstrations and an opportunity for system designers to compare systems. This volume presents the proceedings of the conference. It contains 18 papers on a variety of design and implementation issues. One general theme which clearly emerges is the need for interconnections between systems, as no one systems incorporates all the facilities that users want. Various effortsare being made to design such links, but generally in limited contexts (suchas the Maple project or the Posso project).
Author(s): Ken Rimey (auth.), John Fitch (eds.)
Series: Lecture Notes in Computer Science 721
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1993
Language: English
Pages: 223
Tags: Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation; Artificial Intelligence (incl. Robotics); Computer Graphics
Template-based formula editing in Kaava....Pages 1-12
Algebraic simplification of multiple-valued functions....Pages 13-21
In-place arithmetic for polynomials over Z n ....Pages 22-34
LILK — Static analysis of REDUCE code....Pages 35-43
The extensions of the Sisyphe computer algebra system: ulysse and athena....Pages 44-55
AlgBench : An object-oriented symbolic core system....Pages 56-64
SymO2: Objects and classes for symbolic computation systems....Pages 65-84
Building a Computer Algebra environment by composition of collaborative tools....Pages 85-94
An assume facility for CAS, with a sample implementation for Maple....Pages 95-103
REDUCE meets CAMAL....Pages 104-115
Combinatory models and symbolic computation....Pages 116-131
A uniform approach to deduction and automatic implementation....Pages 132-144
A simple general purpose technique for interfacing between computer algebra and numerical analysis systems....Pages 145-151
Recurrent relations and speed-up of computations using computer algebra systems....Pages 152-161
Design and implementation of a retargetable ALDES compiler....Pages 162-172
Data representation and in-built compilation in the computer algebra program FELIX....Pages 173-192
An abstract data type development of graded rings....Pages 193-202
An object-oriented approach to indexed mathematical objects for the manipulation of sums and series....Pages 203-214
