• 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, open-source math software...
  • LOOPS

  • Referenced in 6 articles [sw01456]
  • Concepts of a learning object-oriented 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 model-finder 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...