
AXIOMS
 Referenced in 2 articles
[sw02217]
 construction and analysis of finite quasigroups, semigroups and related structures This paper presents ... construction and analysis of nonassociative finite algebraic structures as well as associative systems. This...

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

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

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

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

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

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

PolyBoRi
 Referenced in 43 articles
[sw00723]
 This work presents a new framework for Gröbner...

SQG
 Referenced in 19 articles
[sw00907]
 This paper describes an implementation of a complementary...

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

VAMPIRE
 Referenced in 232 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem...

SPASS
 Referenced in 177 articles
[sw04108]
 SPASS is an automated theorem prover for first...

TPTP
 Referenced in 372 articles
[sw04143]
 The TPTP (Thousands of Problems for Theorem Provers...

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

FINDER
 Referenced in 40 articles
[sw06376]
 Finite domain enumerator. This is a finite domain...

SATCHMO
 Referenced in 96 articles
[sw06619]
 SATCHMO: a theorem prover implemented in Prolog. The...

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

Chaff
 Referenced in 561 articles
[sw06916]
 Chaff:engineering an efficient SAT solver. Boolean Satisfiability...

OEIS
 Referenced in 3218 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...