• LWB

  • Referenced in 3 articles [sw01820]
  • prover for propositional modal and other nonclassical logics. A pleasant side effect of their work...
  • ANSYS

  • Referenced in 703 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LEO-II

  • Referenced in 51 articles [sw00512]
  • LEO-II is a standalone, resolution-based higher...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • TPS

  • Referenced in 73 articles [sw00973]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • MACSYMA

  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • VAMPIRE

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

  • Referenced in 14 articles [sw03310]
  • THF0 is a syntactically conservative extension of the...
  • SPASS

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

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

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

  • Referenced in 66 articles [sw04581]
  • PLINK is a free, open-source whole genome...
  • HOL

  • Referenced in 583 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • MONA

  • Referenced in 133 articles [sw06170]
  • MONA implementation secrets. The MONA tool provides an...
  • Maude

  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...