• Mathematica

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

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • VAMPIRE

  • Referenced in 258 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • SPASS

  • Referenced in 185 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • TPTP

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

  • Referenced in 56 articles [sw04439]
  • Metis is an automatic theorem prover for first...
  • Prover9

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

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

  • Referenced in 50 articles [sw10278]
  • MaLARea: a Metasystem for Automated Reasoning in Large...
  • UNITY

  • Referenced in 185 articles [sw13461]
  • Simulation model development and analysis in UNITY. We...
  • SRASS

  • Referenced in 12 articles [sw21370]
  • SRASS -- a semantic relevance axiom selection system. This...
  • FLOTTER

  • Referenced in 16 articles [sw29685]
  • FLOTTER and SPASS are a clause normal form...