• AXIOMS

  • Referenced in 2 articles [sw02217]
  • construction and analysis of finite quasigroups, semigroups and related structures This paper presents ... construction and analysis of non-associative 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 SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 533 articles [sw00611]
  • graph-theoretic 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 model-finder 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 On-Line Encyclopedia of Integer Sequence. The...