Advertisement

Computer Algebra systems, new trends

  • Marc Gaëtano
Conference paper

Abstract

Computer Algebra systems (CAS for short) are softwares for doing symbolic mathematics. Such software includes graphics, elaborate user interfaces and numeric program as well as algorithms for symbolic computation. Notable results have been achieved in symbolic computation in the last two decades and CAS have improved the productivity of scientists and engineers. A typicall CAS is often large and exceedingly complex, requiring many person-years to implement, document, maintain and upgrade. They are several challenges for CAS designers. One example is to find techniques to modularize the software development process so that it can be done in smaller parts. Another example is to provide visual means for extracting or replacing parts of symbolic expressions, moving terms around, cancelling and doing other manipulations. To meet these challenges, the computer science of symbolic computation exhibits a variety of techniques beyond those of numerical computation: complex data structures, ob ject-oriented programming style and number of other advanced programming tools are used. We are presenting in this paper some of the new software techniques used in modern CAS design.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Abdali & al, 86]
    Abdali, S.K., Cherry, G.W. and Soiffer, N.M., An Object Oriented Approach to Algebra System design. in Proc. ACM Symposium on Symbolic and Algebraic Computation (1986).Google Scholar
  2. [Anderson & al, 79]
    Anderson, J.D., Lau, E.L. and Hellings, R.W., Use of Macsyma as an Automatic Fortran Code Generatoe. in Proc. Macsyma Users’Conference (1979).Google Scholar
  3. [Bradford & al, 86]
    Bradford, R.J., Hearn, A.C., Padget, J.A. and Schrufer, E., Enlarging the Reduce domain of computation. in Proc. ACM Symposium on Symbolic and Algebraic Computation (1986).Google Scholar
  4. [Char & al, 85]
    Char, B.W., Geddes, K.O, Gonnet, G.H. and Watt, S.M. Maple User’s Guide. Watcom Publications edition (1985).Google Scholar
  5. [Davenport, 90]
    Davenport, J.H., Current Problems in Computer Algebra Systems Design. in Proc. Design and Implementation of Symbolic Computation Systems, LNCS 429 (April 1990).Google Scholar
  6. [Davenport, Trager 90]
    Davenport, J.H. and Trager, B.M., Scratchpad’s View of Algebra I: Basic Commutative Algebra. in Proc. Design and Implementation of Symbolic Computation Systems, LNCS 429 (April 1990).Google Scholar
  7. [Derive, 89]
    Derive, The mathematical assistant. Soft Warehouse ed. (1989).Google Scholar
  8. [Dewar, 89]
    Dewar,M.C., Irena: An integrated Symbolic and Numerical Computation Environment. in Proc. ACM Issac (1989). in Proc. Design andGoogle Scholar
  9. [Dewar, Richardson 90]
    Dewar, M.C. and Richardson, M.G., Reconciling Symbolic and Numeric Computation in a practical setting. in Proc. Design and Implementation of Symbolic Computation Systems, LNCS 429 (April 1990).Google Scholar
  10. [Galligo & al, 90]
    Galligo, A., Grimm, J. and Pottier, L., The design of Sisyphe: a system for doing symbolic and algebraic computation. in Proc. Design and Implementation of Symbolic Computation Systems, LNCS 429 (April 1990).Google Scholar
  11. [Gates, 85]
    Gates, B.L., Gentran: An automatic generation facility for Reduce. in Sigsam bulletin 19 (1985) 3.Google Scholar
  12. [Harper, Mitchell 86]
    Harper, R. and Mitchell, K. Introduction to standard ML. Laboratory for Foundations of Computer Science, University of Edinburg (1986).Google Scholar
  13. [Harper & al, 88]
    Harper, R., Milner, R. and Tofte, M. The definition of standard ML Version 2. Technical report ECS-LFCS-88–62 (1988).Google Scholar
  14. [Hearn, 85]
    Hearn,A.C., Reduce user’s manual (verison3.2) (1985).Google Scholar
  15. [Jenks & al, 86]
    Jenks, R.D., Sutor, R.S. and Watt, S.M., Scratchpad II: An Abstract Datatype System for Mathematical Computation. Mathematical Aspects of Scientific Software, Rice,R.J. ed, IMA Volumes in Mathematics and Its Applications, Volume 14, Springer-Verlag, New York (1988).Google Scholar
  16. [Jenks, Trager 81]
    Jenks, R.D. and Trager, B.M., A language for Computational Algebra. in Proc. ACM Symposium on Symbolic and Algebraic Computation (1981).Google Scholar
  17. [Kajler, 90]
    Kajler, N., Building graphic user interface for Computer Algebra Systems. in Proc. Design and Implementation of Symbolic Computation Systems, LNCS 429 (April 1990).Google Scholar
  18. [Mathlab, 83]
    The Mathlab Group, Macsyma Reference Manual, version 10. MIT edition (1983).Google Scholar
  19. [Sasaki, 86]
    Sasaki, T., Simplification of algebraic expression by multiterm rewriting rules. in Proc. ACM Symposium on Symbolic and Algebraic Computation (1986).Google Scholar
  20. [Scheiffer, Gettys 86]
    Scheiffer, R.W. and Gettys, J., The X window System. in Proc. ACM Transactions on Graphics,5(2) (April 1986).Google Scholar
  21. [Smith, Soiffer 86]
    Smith, C.J. and Soiffer, N.M., Mathscribe: A User Interface for Computer Algebra Systems. in Proc. ACM Symposium on Symbolic and Algebraic Computation (1986).Google Scholar
  22. [Steinberg, Roache 86]
    Steinberg, S. and Roache, P.J. Using Macsyma to write Fortran subroutines. in Journal of Symbolic Computation 2 (1986).Google Scholar
  23. [Wang, 90]
    Wang, P.S. A system Independent Graphing Package for Mathematical Functions. in Proc. Design and Implementation of Symbolic Computation Systems, LNCS 429 (April 1990).Google Scholar
  24. [Wolfram 88]
    Wolfram, S., Mathematica: a system for doing Mathematics by Computer. Addison-Wesley (1988).Google Scholar
  25. [Young, Wang 87]
    Young, D.A. and Wang, P.S., GI/S: a graphical User Interface for Symbolic Computation Systems. in Journal of Symbolic Computation 4 (1987).Google Scholar

Copyright information

© Springer-Verlag Wien 1991

Authors and Affiliations

  • Marc Gaëtano
    • 1
  1. 1.Département d’InformatiqueUniversité de NiceNice CedexFrance

Personalised recommendations