• PCOMP

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

  • Referenced in 1675 articles [sw00825]
  • Sage (SageMath) is free, open-source 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 symbolic-numerical-graphical...
  • ML

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • HiLog

  • Referenced in 47 articles [sw01580]
  • HiLog: A foundation for higher-order 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, general-purpose purely functional...
  • AMPL

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

  • Referenced in 186 articles [sw04103]
  • SMT-LIB 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...