Programming with algebraic structures: Design of the magma language

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn Part F129423, Issue , 1994, Pages 52-57

  Bosma, Wieb ^a   Cannon, John ^a   Matthews, Graham ^a  

^a UNIVERSITY OF SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL GEOMETRY; NUMBER THEORY;

ALGEBRAIC STRUCTURES; CLASS OBJECTS; COMPUTATIONAL ALGEBRA; COMPUTER ALGEBRA SYSTEMS; DESIGN PARADIGM; MATHEMATICAL NOTION; MORPHISMS; SOFTWARE SYSTEMS;

ALGEBRA;

EID: 84947478159     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/190347.190362     Document Type: Conference Paper

References (13)

1. Bosma W. and Cannon J. J., Handbook of Magma Functions, First Edition, 1993, 690 pages.
2. Butler G. and Cannon J. J., Cayley version 4: The user language, in: P. Gianni (ed), Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation, Rome, July 48, 1988, LNCS 358, Springer, New York, 1989, 456-466.
3. Butler G. and Cannon J. J., The design of Cayley, a language for modern algebra, in: A. Miola (ed), Design and Implementation of Symbolic Computation Systems, LNCS 429, 1990, 10-19.
4. Cannon J. J., An introduction to the group theory language Cayley, in: M.D. Atkinson (ed), Computational Group Theory, Academic Press, London, 1984, 145-183.
5. Cannon J.J. and Playoust C.A., An Introduction to Magma, First Edition, 1993, 240 pages.
6. Char B.W. et aI, Maple V Language Reference Manual, Springer-Verlag, New York, 1991.
7. G. Cousineau, The categorical abstract machine, in Logical Foundations of Functional Programming, Addison-Wesley, 1990.
8. J.H. Davenport, Y. Siret and E. Tournier, Computer Algebra, Academic Press, London, 1988.
9. Jenks R.D. and Sutor R.S. AXIOM -The Scien-TiSc Computation System, Springer-Verlag, New York, 1992.
10. Paepcke A., Object-Oriented Programming: The CLOS Perspective, MIT Press, 1993.
11. Santas, P.S., A type system for computer algebra, in: Alfonso Miola (ed), Design and Implementation of Symbolic Computation Systems. LNCS 722, Springer-Verlag, Berlin, 1993, 177-191.
12. Schwartz J.T., Dewar R.B.K., Dubinsky E., and Schonberg E. Programming with Sets -An In-Troduction to SETL, Springer-Verlag, New York, 1986.
13. Wolfram S., Mathematica -A System for Doing Mathematics by Computer, Addison-Wesley Publishing Company, Second edition, 1991.