Symbolic computing with compression of data structures: General observations, and a case study

  • J. A. Campbell
  • Simon
12. Languages And Designs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 72)


Data structures used by large symbolic computing systems tend to be fixed in form, and unable to change to reflect special symmetries or properties of individual computations. We examine the consequences of the view that the first step in a symbolic computation can be the analysis of the problem to be solved, to determine what is the most compact practical data structure for that problem. General principles of such an analysis are presented, and are then applied to a particular problem in differentiation which has caused difficulties in storage to some traditional large systems.


Variable Part Special Symmetry Symbolic Computing Compact Data Structure Unrestricted Partition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Campbell, J.A., SIGSAM Bull. A.C.M. 10 (40), 46 (1976)Google Scholar
  2. Campbell, J.A., Programming Language Systems (eds. M.C. Newey, R.B. Stanton and G.L. Wolfendale), pp. 61–70. Australian National University Press, Canberra (1978)Google Scholar
  3. Fitch, J.P., Herbert, P. and Norman, A.C., Proc. 1976 A.C.M. Symposium on Symbolic and Algebraic Computation (ed. R.D. Jenks), pp. 185–188. Yorktown Heights, N.Y. (1976)Google Scholar
  4. Harrington, R., Celest. Mech. 1, 200 (1969)Google Scholar
  5. Knuth, D.E., The Art of Computer Programming, vol. 1: Fundamental Algorithms (second edition), p. 454. Addison-Wesley, Reading, Massachusetts (1975)Google Scholar
  6. Richards, M., The BCPL Language Compiler. Cambridge University Press (1979)Google Scholar
  7. Sloane, N.J.A., Handbook of Integer Sequences and Series. Academic Press, N.Y. (1973). A new edition is in an advanced stage of preparation.Google Scholar
  8. Sundblad, Y., SIGSAM Bull. A.C.M., nr. 24, 18 (1972)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • J. A. Campbell
    • 1
  • Simon
    • 2
  1. 1.Department of Computer ScienceUniversity of ExeterExeterEngland
  2. 2.Department of MathematicsUniversity of NewcastleAustralia

Personalised recommendations