
PCOMP
 Referenced in 21 articles
[sw00688]
 Algorithm 746: PCOMP: A Fortran code for automatic...

SageMath
 Referenced in 1675 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

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

MACSYMA
 Referenced in 716 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

HiLog
 Referenced in 47 articles
[sw01580]
 HiLog: A foundation for higherorder logic programming...

MAGDA
 Referenced in 12 articles
[sw02568]
 Mobile agents mean both a technology and a...

VAMPIRE
 Referenced in 239 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem...

PVS
 Referenced in 620 articles
[sw03484]
 PVS is a verification system: that is, a...

Haskell
 Referenced in 851 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

AMPL
 Referenced in 590 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

SMTLIB
 Referenced in 186 articles
[sw04103]
 SMTLIB was created with the expectation that...

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

ABAQUS
 Referenced in 1470 articles
[sw04215]
 The Abaqus Unified FEA product suite offers powerful...

POLYFLOW
 Referenced in 10 articles
[sw04223]
 ANSYS Polyflow provides advanced fluid dynamics technology for...

SPASS+T
 Referenced in 19 articles
[sw04613]
 SPASS+T is an extension of the superposition...

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

ETPS
 Referenced in 156 articles
[sw06302]
 TPS and ETPS are, respectively, the Theorem Proving...

AEtnaNova
 Referenced in 8 articles
[sw06360]
 The Referee system (aka AetnaNova), accessible on the...

GHC
 Referenced in 103 articles
[sw06691]
 Secrets of the Glasgow Haskell Compiler inliner. Higher...