
SATO
 Referenced in 195 articles
[sw04451]
 solve over one hundred open quasigroup problems in design theory. We also experimented SATO...

AXIOMS
 Referenced in 2 articles
[sw02217]
 construction and analysis of finite quasigroups, semigroups and related structures This paper presents...

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

LGS
 Referenced in 15 articles
[sw00517]
 In the paper we present LGS  a geometric...

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

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

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

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

PolyBoRi
 Referenced in 41 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 301 articles
[sw02904]
 Our current automated deduction system Otter is designed...

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

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

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

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

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

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

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

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

CVC Lite
 Referenced in 51 articles
[sw07581]
 CVC Lite is no longer being maintained. Please...