• gmp

  • Referenced in 274 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • LAPACK

  • Referenced in 1648 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Matlab

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

  • Referenced in 546 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 8776 articles [sw00771]
  • R is a language and environment for statistical...
  • ScaLAPACK

  • Referenced in 407 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • ALBERTA

  • Referenced in 172 articles [sw01061]
  • ALBERTA is an Adaptive multiLevel finite element toolbox...
  • SCIP

  • Referenced in 484 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • SNOPT

  • Referenced in 524 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • CONOPT

  • Referenced in 165 articles [sw02791]
  • CONOPT is a generalized reduced-gradient (GRG) algorithm...
  • ABACUS

  • Referenced in 116 articles [sw02948]
  • ABACUS is a software system written in C...
  • SINTEF

  • Referenced in 36 articles [sw02984]
  • SINTEF has developed software libraries as part of...
  • BLAS

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

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

  • Referenced in 598 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • SeDuMi

  • Referenced in 1211 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • SDPT3

  • Referenced in 647 articles [sw04009]
  • This software is designed to solve conic programming...
  • UCI-ml

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

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