Magma is a computer algebra system designed to solve problems in algebra, number theory, geometry and combinatorics. It is named after the algebraic structure...

In abstract algebra, a magma, binar, or, rarely, groupoid is a basic kind of algebraic structure. Specifically, a magma consists of a set equipped with...

A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in...

early 2004 by Primus Canada Magma (computer algebra system), a software package for solving mathematical problems MagmaFS, an experimental filesystem...

comparison of computer algebra systems (CAS). A CAS is a package comprising a set of algorithms for performing symbolic manipulations on algebraic objects,...

SageMath (previously Sage or SAGE, "System for Algebra and Geometry Experimentation") is a computer algebra system (CAS) with features covering many aspects...

Magma computer algebra system SageMath Number Theory Library PARI/GP Fast Library for Number Theory Michael E. Pohst (1993): Computational Algebraic Number...

Professor Mary Myerscough. The Magma computer algebra system is produced and distributed by the Computational Algebra Group within the School. Mathematics...

FLINT, GNOME Calculator, the Julia language implementation, the Magma computer algebra system, Maple, GNU MPC, and GNU Octave. Fousse, L.; Hanrot, G.; Lefèvre...

In particular, versions of this algorithm are used in the Magma computer algebra system. Frattini's argument Hall subgroup Maximal subgroup McKay conjecture...

an open-source Python library for symbolic computation. It provides computer algebra capabilities either as a standalone application, as a library to other...

computer algebra system, as the option method=fgb of function Groebner[gbasis] in the Magma computer algebra system, in the SageMath computer algebra...

Database homepage for a catalog of K3 surfaces K3 database for the Magma computer algebra system The geometry of K3 surfaces, lectures by David Morrison (1988)...

application. The concept of idempotence arises in a number of places in abstract algebra (in particular, in the theory of projectors and closure operators) and...

Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems...

In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures, which are sets with specific operations...

mathematics, and more specifically in abstract algebra, a *-algebra (or involutive algebra; read as "star-algebra") is a mathematical structure consisting of...

In abstract algebra, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with...

Representation theory of Hopf algebras General Associative property, Associator Heap (mathematics) Magma (algebra) Loop (algebra), Quasigroup Nonassociative...

types of algebraic structures are studied. Abstract algebra is primarily the study of specific algebraic structures and their properties. Algebraic structures...

term algebra over a set X of variables is exactly the free magma generated by X. Other synonyms for the notion include absolutely free algebra and anarchic...

In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. The binary operation...

mathematics, and more specifically in computer algebra, computational algebraic geometry, and computational commutative algebra, a Gröbner basis is a particular...

of a group Two important computer algebra systems (CAS) used for group theory are GAP and Magma. Historically, other systems such as CAS (for character...

LAPACK ("Linear Algebra Package") is a standard software library for numerical linear algebra. It provides routines for solving systems of linear equations...

Royale des Sciences de Belgique. He is the developer of the Magma (computer algebra system) package on incidence geometry and coset geometry since 1999...

"cancellation" can be done in any magma by an element with the cancellation property. Examples include matrix algebras, quaternion algebras, and quasigroups. In an...

In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties...

distinct logical systems: The primary arithmetic (described in Chapter 4 of LoF), whose models include Boolean arithmetic; The primary algebra (Chapter 6 of...

MAD/I Magik Magma Maple MAPPER (now part of BIS) MARK-IV (now VISION:BUILDER) Mary MATLAB MASM Microsoft Assembly x86 MATH-MATIC Maude system Maxima (see...