Skip to main content
SpringerLink
Log in
Book cover

Design and Implementation of Symbolic Computation Systems

International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. John Fitch
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 721)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Template-based formula editing in Kaava

    • Ken Rimey
    Pages 1-12

  3. Algebraic simplification of multiple-valued functions

    • Russell Bradford
    Pages 13-21

  4. In-place arithmetic for polynomials over Zn

    • Michael Monagan
    Pages 22-34

  5. LILK — Static analysis of REDUCE code

    • B. D. Brunswick
    Pages 35-43

  6. The extensions of the Sisyphe computer algebra system: ulysse and athena

    • C. Faure, A. Galligo, J. Grimm, L. Pottier
    Pages 44-55

  7. AlgBench: An object-oriented symbolic core system

    • Roman E. Maeder
    Pages 56-64

  8. SymO2: Objects and classes for symbolic computation systems

    • Philip S. Santas
    Pages 65-84

  9. Building a Computer Algebra environment by composition of collaborative tools

    • Norbert Kajler
    Pages 85-94

  10. An assume facility for CAS, with a sample implementation for Maple

    • Trudy Weibel, Gaston H. Gonnet
    Pages 95-103

  11. REDUCE meets CAMAL

    • J. P. Fitch
    Pages 104-115

  12. Combinatory models and symbolic computation

    • Karl Aberer
    Pages 116-131

  13. A uniform approach to deduction and automatic implementation

    • Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone
    Pages 132-144

  14. A simple general purpose technique for interfacing between computer algebra and numerical analysis systems

    • M. Bayram, J. P. Bennett
    Pages 145-151

  15. Recurrent relations and speed-up of computations using computer algebra systems

    • E. V. Zima
    Pages 152-161

  16. Design and implementation of a retargetable ALDES compiler

    • Gábor Simon
    Pages 162-172

  17. Data representation and in-built compilation in the computer algebra program FELIX

    • Joachim Apel, Uwe Klaus
    Pages 173-192

  18. An abstract data type development of graded rings

    • A. Goodloe, P. Loustaunau
    Pages 193-202

  19. An object-oriented approach to indexed mathematical objects for the manipulation of sums and series

    • Olga Caprotti
    Pages 203-214

  20. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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).

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation