MAGMA(ID:2207/mag014)
is a radically new system designed to solve computationally hard problems in algebra, number theory, geometry, and combinatorics. It provides a mathematically rigorous environment for computing with algerbriac, number-theoretic, combination and geometric objects.
"Magma is a programming language designed for the investigation of algebraic, geometric and combinatorial structures, or magmas"
Structures:
Related languages
References:
Bosma, Wieb; John Cannon Graham Matthews "Programming with algebraic structures: design of the MAGMA language" view details
Abstract: MAGMA is a new software system for computational algebra, number theory and geometry whose design is centred on the concept of algebraic structure (magma). The use of algebraic structure as a design paradigm provides a natural strong typing mechanism. Further, structures and their morphisms appear in the language as first class objects. Standard mathematical notions are used for the basic data types. The result is a powerful, clean language which deals with objects in a mathematically rigorous manner. The conceptual and implementation ideas behind MAGMA will be examined in this paper. This conceptual base differs significantly from those underlying other computer algebra systems.
in Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`94) 1994, Oxford, United Kingdom view details
Bosma, Weib, & Cannon, John "Handbook of Magma Functions" Sydney Australia, 1996 version June 24, 1996
view details
in Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`94) 1994, Oxford, United Kingdom view details
Cannon, John, & Catherine Playoust "An Introduction to Magma" Sydney: University of Sydney, School of Mathematics and Statistics, 1996 view details
in Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`94) 1994, Oxford, United Kingdom view details
Cannon, John and Catherine Playoust "Using the Magma computer algebra system in abstract algebra courses" pp459-484 view details
DOI
in Journal of Symbolic Computation 23(5-6) May/June 1997 view details
Resources
|