
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 172 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

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

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

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

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

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

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

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

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

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

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

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

SINGULAR
 Referenced in 1472 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...

BERGMAN
 Referenced in 35 articles
[sw02980]
 Problems in interaction with the computer algebra system...