H ? « ‹ ← → › »

Language peer sets for MAGMA:
Australia↑
Australia/1987↑
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

MAGMA(ID:2207/mag014)

alternate simple view
Country: Australia
Designed 1987

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
CAYLEY 4 → MAGMA   Renaming
References:
  • Bosma, Wieb; John Cannon Graham Matthews (1994) Bosma, Wieb; John Cannon Graham Matthews "Programming with algebraic structures: design of the MAGMA language" Abstract
          in [Proceedings] (1994) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`94) 1994, Oxford, United Kingdom
  • Bosma, Weib, & Cannon, John (1996) Bosma, Weib, & Cannon, John "Handbook of Magma Functions" Sydney Australia, 1996 version June 24, 1996
          in [Proceedings] (1994) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`94) 1994, Oxford, United Kingdom
  • Cannon, John, & Catherine Playoust (1996) Cannon, John, & Catherine Playoust "An Introduction to Magma" Sydney: University of Sydney, School of Mathematics and Statistics, 1996
          in [Proceedings] (1994) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`94) 1994, Oxford, United Kingdom
  • Cannon, John and Catherine Playoust (1997) Cannon, John and Catherine Playoust "Using the Magma computer algebra system in abstract algebra courses" pp459-484 DOI
          in (1997) Journal of Symbolic Computation 23(5-6) May/June 1997
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder