An expression compression package for REDUCE based on factorization and controlled expansion

  • B. J. A. Hulshof
  • J. A. van Hulzen
Computer Algebra Systems Implementation I
Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)


  1. [1]
    Cook jr, G.O.: Development of a Magnetohydrodynamic Code for Axisymmetric, High-beta Plasmas with Complex Magnetic Fields, Lawrence Livermore Nat.Lab. Report No UCRL-53324 (1982).Google Scholar
  2. [2]
    Hearn, A.C.: The Problem of Substitution, Proceedings IBM Summer Institute on Symb.Math. by Computer, IBM Programming Lab. Report No. FSC-69-0312 (1969).Google Scholar
  3. [3]
    Hearn, A.C.: Structure: The Key to Improved Algebraic Computation, Proceedings RSYMSAC, Wako-shi, Saitama, Japan (1984).Google Scholar
  4. [4]
    Hulshof, B.J.A., van Hulzen, J.A.: An Expression Compression Package for REDUCE (in preparation).Google Scholar
  5. [5]
    The MATHLAB group: MACSYMA Reference Manual, version ten, V2-4, Cambridge: MIT (1983).Google Scholar
  6. [6]
    Ng, E., Char, B.: Gradient and Jacobian Computations for Numerical Applications, Proceedings 1979 MACSYMA Users Conference (V.E. Lewis, ed.), 604–621. Cambridge: MIT (1979).Google Scholar
  7. [7]
    Smit J., van Hulzen, J.A.: Symbolic-Numeric Methods in Microwave Technology, Proceedings EUROCAM 82 (J. Calmet, ed.), Springer LNCS series nr 144, 281–288. Springer Verlag (1982).Google Scholar
  8. [8]
    van Hulzen, J.A., Hulshof, B.J.A.: An Expression Analysis Package for REDUCE, ACM SIGSAM Bulletin 16, 4, 32–44 (1982).Google Scholar
  9. [9]
    van Hulzen, J.A., Hulshof, B.J.A.: A Code Optimization Package for REDUCE (in preparation).Google Scholar
  10. [10]
    Wang, P.S.: Taking Advantage of Symmetry in the Automatic Generation of Numerical Programs for Finite Element Analysis, These Proceedings.Google Scholar

Copyright information

© Springer-Verlag 1985

Authors and Affiliations

  • B. J. A. Hulshof
    • 1
  • J. A. van Hulzen
    • 1
  1. 1.Department of Computer ScienceTwente University of TechnologyEnschedethe Netherlands

Personalised recommendations