• Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Mathematica

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

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

  • Referenced in 31 articles [sw00663]
  • Semantic definitions of full-scale programming languages are...
  • OTTER

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

  • Referenced in 38 articles [sw03056]
  • Algorithmic correspondence and completeness in modal logic. IV...
  • SeDuMi

  • Referenced in 1206 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • UCI-ml

  • Referenced in 3111 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • LINDO

  • Referenced in 539 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • PLINK

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

  • Referenced in 470 articles [sw04704]
  • The Mizar System is the only implementation of...
  • LINGO

  • Referenced in 302 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • Prover9

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

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

  • Referenced in 25 articles [sw07684]
  • LoTREC: Logical tableaux research engineering companion. In this...
  • leanTAP

  • Referenced in 38 articles [sw09985]
  • leanTAP revisited. The Prolog program leanTAP is a...
  • TABLEAUX

  • Referenced in 18 articles [sw11674]
  • TABLEAUX: A general theorem prover for modal logics...
  • Pesca

  • Referenced in 137 articles [sw13664]
  • PESCA = Proof Editor for Sequent Calculus: Pesca is...