Advertisement

CAMAL 40 Years on – Is Small Still Beautiful?

  • John Fitch
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5625)

Abstract

Over forty years ago an algebra system was written in Cambridge, UK, designed to assist in a number of calculations in celestial mechanics and later in relativity. I present the hardware environment and the main design decisions that led this system, later dubbed CAMAL, to be used in many applications for twenty years. Its performance is investigated, both in its own era, and more recently. It is argued that a compact data representation as in CAMAL has real benefits even in today’s larger memory world.

Keywords

Fourier Series Celestial Mechanic Disturbing Function CAMAL System Lunar Theory 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Barton, D., Bourne, S.R., Burgess, C.J.: A Simple Algebra System. Computer Journal 11, 293–298 (1968)CrossRefzbMATHGoogle Scholar
  2. 2.
    Barton, D.: A New Approach to the Lunar Theory. PhD thesis, University of Cambridge, 196Google Scholar
  3. 3.
    Bourne, S.R.: Automatic Algebraic Manipulation and its Applications to the Lunar Theory. PhD thesis, University of Cambridge (1970)Google Scholar
  4. 4.
    Bourne, S.R., Horton, J.R.: The CAMAL System Manual. The Computer Laboratory, University of Cambridge (1971)Google Scholar
  5. 5.
    Bourne, S.R., Horton, J.R.: The Design of the Cambridge Algebra System. In: Proceedings of SYMSAM/2, pp. 134–143. SIGSAM/ACM (1971)Google Scholar
  6. 6.
    Carette, J., Davenport, J.H., Fitch, J.: Barton and Fitch revisited (2009), http://opus.bath.ac.uk/14083
  7. 7.
    Delaunay, C.: Théorie du Mouvement de la Lune (Extraits des Mém. Acad. Sci.). Mallet-Bachelier, Paris (1860)Google Scholar
  8. 8.
    Fitch, J.P.: A solution to Problem #3. SIGSAM Bulletin 26, 24–27 (1973)Google Scholar
  9. 9.
    Fitch, J.P.: REDUCE meets CAMAL. In: Fitch, J. (ed.) DISCO 1992. LNCS, vol. 721, pp. 104–115. Springer, Heidelberg (1993)CrossRefGoogle Scholar
  10. 10.
    Fitch, J.P., Garnett, D.J.: Measurements on the Cambridge Algebra System. In: Proceedings of the International Computing Symposium, Venice, pp. 139–147 (1972)Google Scholar
  11. 11.
    Fitch, J.: A solution of problem #3 using camal. SIGSAM Bulletin 32, 14 (1975)Google Scholar
  12. 12.
    Fitch, J.P.: An Algebraic Manipulator. PhD thesis, University of Cambridge (1971)Google Scholar
  13. 13.
    Hall, A.D.: Solving a problem in eigenvalue approximation with a symbolic algebra system. SIGSAM Bulletin 26, 145–23 (1975)Google Scholar
  14. 14.
    Horton, J.R.: A System for the Manipulation of Tensors on an Automatic Computer. University of Cambridge, Dissertation for the Diploma in Computer Science (1969)Google Scholar
  15. 15.
    I.C.T. Ltd and Cambridge University. Atlas 2 System Programmers Manual, E.P. 59 (April 1964)Google Scholar
  16. 16.
    Irons, E.T.: A Syntax Directed Compiler for ALGOL 60. Comm. ACM 4(1), 51–55 (1961)CrossRefzbMATHGoogle Scholar
  17. 17.
    Lew, J.S.: Problem #3 – reversion of a double series. SIGSAM Bulletin 23, 6–7 (1972)Google Scholar
  18. 18.
    Matthewman, J.R.: Syntax Directed Compilers. PhD thesis, University of Cambridge (1966)Google Scholar
  19. 19.
    Richards, M.: BCPL — a tool for compiler writing and systems programming. In: Proceedings of the Spring Joint Computer Conference, vol. 34, pp. 557–566 (1969)Google Scholar
  20. 20.
    Sconzo, P., LeSchack, A.R., Tobey, R.G.: Symbolic Computation of f and g Series by Computer. Astronomical Journal 70(4), 269–271 (1965)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • John Fitch
    • 1
  1. 1.Department of Computer ScienceUniversity of BathUK

Personalised recommendations