Programming with sets; an introduction to SETL
Programming with sets; an introduction to SETL
The categorical abstract machine
Logical foundations of functional programming
Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
AXIOM: the scientific computation system
AXIOM: the scientific computation system
Object-oriented programming: the CLOS perspective
Object-oriented programming: the CLOS perspective
The Design of Cayley - a Language for Modern Algebra
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
A Type System for Computer Algebra
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Cayley, Version 4: The User Language
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Classification of Some Optimal Ternary Linear Codes of Small Length
Designs, Codes and Cryptography
A Family of Optimal Packings in Grassmannian Manifolds
Journal of Algebraic Combinatorics: An International Journal
Constructing endomorphism rings via duals
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Equality in computer algebra and beyond
Journal of Symbolic Computation - Integrated reasoning and algebra systems
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Computer algebra handbook
Generation and optimisation of code using Coxeter lattice paths
Proceedings of the 2007 international workshop on Parallel symbolic computation
On the Virtues of Generic Programming for Symbolic Computation
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
| Hi-index | 0.00 |
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.