• 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 2564 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 4799 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5383 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • MiniSat

  • Referenced in 510 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 514 articles [sw00611]
  • graph-theoretic 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 39 articles [sw06376]
  • Finite domain enumerator. This is a finite domain...
  • Mace4

  • Referenced in 186 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program...
  • Chaff

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

  • Referenced in 3025 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • CVC Lite

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