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

LEOII
 Referenced in 51 articles
[sw00512]
 LEOII is a standalone, resolutionbased 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 highlevel 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 symbolicnumericalgraphical...

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, opensource 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 highperformance reflective language and...