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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barton, D., Bourne, S.R., Burgess, C.J.: A Simple Algebra System. Computer Journal 11, 293–298 (1968)
Barton, D.: A New Approach to the Lunar Theory. PhD thesis, University of Cambridge, 196
Bourne, S.R.: Automatic Algebraic Manipulation and its Applications to the Lunar Theory. PhD thesis, University of Cambridge (1970)
Bourne, S.R., Horton, J.R.: The CAMAL System Manual. The Computer Laboratory, University of Cambridge (1971)
Bourne, S.R., Horton, J.R.: The Design of the Cambridge Algebra System. In: Proceedings of SYMSAM/2, pp. 134–143. SIGSAM/ACM (1971)
Carette, J., Davenport, J.H., Fitch, J.: Barton and Fitch revisited (2009), http://opus.bath.ac.uk/14083
Delaunay, C.: Théorie du Mouvement de la Lune (Extraits des Mém. Acad. Sci.). Mallet-Bachelier, Paris (1860)
Fitch, J.P.: A solution to Problem #3. SIGSAM Bulletin 26, 24–27 (1973)
Fitch, J.P.: REDUCE meets CAMAL. In: Fitch, J. (ed.) DISCO 1992. LNCS, vol. 721, pp. 104–115. Springer, Heidelberg (1993)
Fitch, J.P., Garnett, D.J.: Measurements on the Cambridge Algebra System. In: Proceedings of the International Computing Symposium, Venice, pp. 139–147 (1972)
Fitch, J.: A solution of problem #3 using camal. SIGSAM Bulletin 32, 14 (1975)
Fitch, J.P.: An Algebraic Manipulator. PhD thesis, University of Cambridge (1971)
Hall, A.D.: Solving a problem in eigenvalue approximation with a symbolic algebra system. SIGSAM Bulletin 26, 145–23 (1975)
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)
I.C.T. Ltd and Cambridge University. Atlas 2 System Programmers Manual, E.P. 59 (April 1964)
Irons, E.T.: A Syntax Directed Compiler for ALGOL 60. Comm. ACM 4(1), 51–55 (1961)
Lew, J.S.: Problem #3 – reversion of a double series. SIGSAM Bulletin 23, 6–7 (1972)
Matthewman, J.R.: Syntax Directed Compilers. PhD thesis, University of Cambridge (1966)
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)
Sconzo, P., LeSchack, A.R., Tobey, R.G.: Symbolic Computation of f and g Series by Computer. Astronomical Journal 70(4), 269–271 (1965)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fitch, J. (2009). CAMAL 40 Years on – Is Small Still Beautiful?. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds) Intelligent Computer Mathematics. CICM 2009. Lecture Notes in Computer Science(), vol 5625. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02614-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-02614-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02613-3
Online ISBN: 978-3-642-02614-0
eBook Packages: Computer ScienceComputer Science (R0)