• ZEAL

  • Referenced in 16 articles [sw01033]
  • ZEAL is a general purpose package for computing...
  • ZEBEC

  • Referenced in 8 articles [sw01034]
  • A reliable and portable software package, called ZEBEC...
  • AUTO

  • Referenced in 943 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ML

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

  • Referenced in 264 articles [sw01236]
  • Fortran subprograms for evaluating definite integrals of functions...
  • CP-nets

  • Referenced in 138 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • FreeFem++

  • Referenced in 1369 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • HiLog

  • Referenced in 51 articles [sw01580]
  • HiLog: A foundation for higher-order logic programming...
  • LOQO

  • Referenced in 211 articles [sw02212]
  • LOQO: An interior point code for quadratic programming...
  • ASSAT

  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • ANTLR

  • Referenced in 67 articles [sw03062]
  • ANTLR (ANother Tool for Language Recognition) is a...
  • PVS

  • Referenced in 633 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Haskell

  • Referenced in 884 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • INTLAB

  • Referenced in 472 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • AztecOO

  • Referenced in 79 articles [sw04027]
  • AztecOO provides an object-oriented interface the the...
  • NLEVP

  • Referenced in 137 articles [sw04058]
  • NLEVP: A Collection of Nonlinear Eigenvalue Problems. This...
  • UCI-ml

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

  • Referenced in 1757 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...