• CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • MPFR

  • Referenced in 232 articles [sw03312]
  • The MPFR library is a C library for...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • 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...
  • PETSc

  • Referenced in 1594 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • JDQR

  • Referenced in 513 articles [sw04021]
  • From this page you can get a Matlab...
  • CPLEX

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

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

  • Referenced in 314 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • ARPACK

  • Referenced in 848 articles [sw04218]
  • ARPACK is a collection of Fortran77 subroutines designed...
  • FEniCS

  • Referenced in 856 articles [sw04314]
  • The FEniCS Project is a collaborative project for...
  • Uppaal

  • Referenced in 658 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • Genocop

  • Referenced in 1103 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • Ipopt

  • Referenced in 787 articles [sw04808]
  • Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...
  • mctoolbox

  • Referenced in 1521 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • DLMF

  • Referenced in 2889 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • GAMS

  • Referenced in 881 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • ALCON

  • Referenced in 37 articles [sw05315]
  • Efficient Numerical Pathfollowing Beyond Critical Points The paper...