
GAP
 Referenced in 1645 articles
[sw00320]
 algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library ... used in research and teaching for studying groups and their representations, rings, vector spaces, algebras...

OTTER
 Referenced in 204 articles
[sw02904]
 Boolean algebra, logic calculi, combinatory logic, group theory, lattice theory, and algebraic geometry. Note: Otter/Mace2...

Magma
 Referenced in 1591 articles
[sw00540]
 package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides ... defining and working with structures such as groups, rings, fields, modules, algebras, schemes, curves, graphs...

Cayley
 Referenced in 109 articles
[sw01053]
 introduction to the Group Theory Language, Cayley. CAYLEY is a high level programming language which ... collectionn of algorithms for doing calculations in groups and related structures. This paper gives...

LiE
 Referenced in 113 articles
[sw01075]
 focuses on the representation theory of complex semisimple (reductive) Lie groups and algebras...

HR
 Referenced in 25 articles
[sw10392]
 program for theorem generation. Automated theory formation involves the production of objects of interest, concepts ... proofs of the conjectures. In group theory, for example, the objects of interest ... groups themselves, the concepts include element types, subgroup types, etc., the conjectures include implication ... named after mathematicians Hardy and Ramanujan  performs theory formation in mathematical domains. It works...

CAS
 Referenced in 19 articles
[sw07634]
 structure constants of the centre of the group algebra; kernel of a character; pblocks ... character theory, and for researchers in group theory. The CAS system makes a major contribution...

TopSpin
 Referenced in 14 articles
[sw00972]
 user manual), uses computational group theory to automatically determine a group of component symmetries associated...

Coxeter
 Referenced in 14 articles
[sw07827]
 study of combinatorial aspects of Coxeter group theory, particularly those related to the Bruhat ordering...

STAR/MPI
 Referenced in 11 articles
[sw02182]
 general purpose language for mathematical group theory). These implementations are examples that extend bindings...

LOOPS
 Referenced in 26 articles
[sw07728]
 standard notions of loop theory with libraries of loops and grouptheoretical algorithms...

SIGMA
 Referenced in 46 articles
[sw06904]
 Sigma is based on difference field theory. The package has been developed by Carsten Schneider ... member of the RISC Combinatorics group...

AsmL
 Referenced in 37 articles
[sw11363]
 group develops AsmL. It is an executable specification language based on the theory of Abstract...

Group Explorer
 Referenced in 4 articles
[sw07153]
 algebra classroom.It helps the user visualize group theory, builds students’ intuition, and enables experimentation with...

Canon
 Referenced in 3 articles
[sw00102]
 summed over) indices. Solution method: Computational Group Theory algorithms have been used, specially algorithms...

INVAR
 Referenced in 6 articles
[sw10662]
 Maple package for invariant theory of finite groups...

Mincer
 Referenced in 48 articles
[sw09009]
 Program for multiloop calculations in quantum field theory for the Schoonschip system. We present ... sufficient to perform fourloop renormalization group calculations within the minimal subtraction scheme in four...

MAGNUS
 Referenced in 2 articles
[sw04278]
 being developed by the New York Group Theory Cooperative. This approach emphasises infinite groups...

Spheno
 Referenced in 26 articles
[sw09544]
 mediated supersymmetry breaking, or string effective field theories. An interface exists for an easy implementation ... other models. The program solves the renormalization group equations numerically to twoloop order with...

ETPS
 Referenced in 132 articles
[sw06302]
 various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive ... facility for saving formulas, definitions, and modes (groups of flag settings). The interactive facilities ... Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Second Edition, Kluwer Academic...