
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 highlevel language and interactive...

Ott
 Referenced in 31 articles
[sw00663]
 Semantic definitions of fullscale programming languages are...

KRIPKE
 Referenced in 8 articles
[sw01162]
 The relevant logics E, R and N R...

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

UCIml
 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, opensource 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 modelfinder Mace4. Mace4 is a program...

Automath
 Referenced in 406 articles
[sw07127]
 Automath is a language designed by N.G. the...

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