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

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

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

LOOPS
 Referenced in 6 articles
[sw01456]
 Concepts of a learning objectoriented problem solver...

SCOOP
 Referenced in 11 articles
[sw02443]
 Scoop is a ”collaborative media application”. It falls...

PSATO
 Referenced in 40 articles
[sw02635]
 PSATO: a Distributed/parallel Prover for propositional satisfiability (SAT...

OTTER
 Referenced in 310 articles
[sw02904]
 Our current automated deduction system Otter is designed...

SATO
 Referenced in 195 articles
[sw04451]
 SATO: A Solver for Propositional Satisfiability: The Davis...

Prover9
 Referenced in 172 articles
[sw04969]
 Prover9 and Mace4: Prover9 is an automated theorem...

Mace4
 Referenced in 198 articles
[sw06905]
 finite modelfinder Mace4. Mace4 is a program...

GRAPE
 Referenced in 84 articles
[sw07516]
 GRAPE is a GAP package for computing with...

DESIGN
 Referenced in 28 articles
[sw07722]
 The Design Package for GAP. DESIGN is a...

LOOPS
 Referenced in 37 articles
[sw07728]
 GAP package loops. The LOOPS package provides researchers...

Albert
 Referenced in 19 articles
[sw15065]
 The Albert nonassociative algebra system: A progress report...