Results 1 to 13 of 13
Sort by:

  • 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...