• Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MACSYMA

  • Referenced in 721 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • ML

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

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • TAXYS: A tool for the development and verification...
  • HMQV

  • Referenced in 89 articles [sw02714]
  • The MQV protocol of Law, Menezes, Qu, Solinas...
  • BLAS

  • Referenced in 501 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • PVS

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

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

  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 727 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • FFTW

  • Referenced in 553 articles [sw04126]
  • FFTW is a C subroutine library for computing...
  • CHOLMOD

  • Referenced in 115 articles [sw04412]
  • Algorithm 887: CHOLMOD, Supernodal Sparse Cholesky Factorization and...
  • Mizar

  • Referenced in 506 articles [sw04704]
  • The Mizar System is the only implementation of...
  • QSopt_ex

  • Referenced in 27 articles [sw04722]
  • QSopt-Exact. The objective of this software is...
  • COCONUT

  • Referenced in 40 articles [sw04760]
  • The COCONUT Environment is a modular solver environment...
  • FADBAD++

  • Referenced in 58 articles [sw04863]
  • FADBAD++ implements the forward, backward and Taylor methods...
  • HOL

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

  • Referenced in 14 articles [sw05586]
  • Gaol: NOT Just Another Interval Library project (”gaol...