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,...

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

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...

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...

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

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

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)...

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

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

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...

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

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...

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...

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

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

"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 mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. The binary operation...

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

Lecture Notes in Computer Science. Vol. 443. Springer-Verlag. pp. 103–110. ISBN 3-540-52826-1. Kuich, Werner (2011). "Algebraic systems and pushdown automata"...

implementation was provided by Xavier Gourdon in 1996 for the Magma and PARI/GP computer algebra systems. The fundamental idea of the splitting circle method is...

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

Databases of Conway polynomials are available in the computer algebra systems GAP, Macaulay2, Magma, SageMath, at the web site of Frank Lübeck, and at the...

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

includes a programming language and computer algebra abilities. PARI/GP is a widely used computer algebra system designed for fast computations in number...