The Magma algebra system I: The user language

Journal of Symbolic Computation

Volumn 24, Issue 3-4, 1997, Pages 235-265

  Bosma, Wieb ^a   Cannon, John ^a   Playoust, Catherine ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031232428     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1996.0125     Document Type: Article

References (15)

1. Bosma, W., Cannon, J.J. (1996). Handbook of Magma Functions. Sydney: School of Mathematics and Statistics, University of Sydney.
2. Bosma, W., Cannon, J.J., Matthews, G. (1994). Programming with algebraic structures: design of the Magma language. In Giesbrecht, M., ed., Proc. of the 1994 International Symposium on Symbolic and Algebraic Computation, Oxford, 52-57. Association for Computing Machinery.
3. Bosma, W., Cannon, J.J, Playoust, C., Steel, A. (1995). Solving Problems with Magma. Sydney: School of Mathematics and Statistics, University of Sydney.
4. Bourbaki, N. (Nouvelle Édition 1970). Algèbre I: Chapitres 1 à 3 (Éléments de Mathématique). Paris: Hermann.
5. Burstall, R.M., Gougen, J.A. (1981). An informal introduction to specifications using CLEAR. In Boyer, R.S., Moore, J.S., eds, The Correctness Problem in Computer Science. London: Academic Press, 185-213.
6. Butler, G., Cannon, J.J. (1989). Cayley version 4: The user language. [The early name for Magma was Cayley V4.] In Gianni, P., ed., Proc. of the 1988 International Symposium on Symbolic and Algebraic Computation, Rome, July 4-8, 1988, LNCS 358, 456-466. New York: Springer.
7. Butler, G., Cannon, J.J. (1990). The design of Cayley, a language for modern algebra. In Miola, A., ed., Design and Implementation of Symbolic Computation Systems, LNCS 429, 10-19.
8. Cannon, J.J., Playoust, C. (1996a). Magma: A New Computer Algebra System. Euromath Bulletin, 2, 1.
9. Cannon, J.J., Playoust, C. (1996b). Algebraic Programming with Magma: The Language. Springer-Verlag, To appear.
10. Cannon, J.J., Playoust, C. (1996c). Algebraic Programming with Magma: The Categories. Springer-Verlag, To appear.
11. Gougen, J.A. (1989). Principles of Parameterized Programming. In Biggerstaff, T., Perils, A., eds, Software Reuseability, Vol 1: Concepts and Models. Reading, MA: ACM Press, Addison-Wesley, 159-225.
12. Hearn, A.C, Schrüfer, E. (1995). A computer algebra system based on order-sorted algebra. J. Symbolic Comput. 19, 65-77.
13. Jenks, R.J, Sutor, R. (1992). AXIOM: The Scientific Computation System. New York: Springer-Verlag.
14. Mac Lane, S. (1971). Categories for the working mathematician. New York: Springer-Verlag.
15. Meinke, K., Tucker, J.V. (1992). Universal Algebra. In Abramsky, S., Gabbay, D.M., Maibaum, T.S.E., eds, Handbook of Logic in Computer Science 1. Oxford: Clarendon Press, 189-411.