
RATHAgda
 Referenced in 3 articles
[sw13303]
 semigroupoids, which are “categories without identities”, to “action lattice categories”, which are division allegories that ... categories (i.e., typed Kleene algebras), including also monoidal categories. These theories are intended as interfaces...

Opycleid
 Referenced in 1 article
[sw31290]
 general approach to TMT by considering category actions in Rel, i.e. faithful functors from ... classes for the common groups and monoids encountered in TMT (such as the T/I group...

AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CLIFFORD
 Referenced in 85 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

GAP
 Referenced in 3222 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 721 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Macaulay2
 Referenced in 1963 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3366 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5408 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6458 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13745 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 625 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

Plural
 Referenced in 88 articles
[sw00719]
 Singular is a computer algebra system (CAS) developed...

SageMath
 Referenced in 2047 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1523 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

Felix
 Referenced in 19 articles
[sw01048]
 Special computer algebra system (CAS) for the computation...

Cayley
 Referenced in 131 articles
[sw01053]
 An introduction to the Group Theory Language, Cayley...

ELAN
 Referenced in 108 articles
[sw02179]
 The ELAN system provides an environment for specifying...