• AUTO

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

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

  • Referenced in 129 articles [sw01175]
  • ADINA R&D, Inc. was founded in 1986...
  • PRISM

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

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

  • Referenced in 251 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • QUADPACK

  • Referenced in 250 articles [sw01236]
  • Fortran subprograms for evaluating definite integrals of functions...
  • FreeFem++

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

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

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

  • Referenced in 485 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • L-BFGS

  • Referenced in 735 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • deal.ii

  • Referenced in 560 articles [sw03516]
  • deal.II is a C++ program library targeted at...
  • AMPL

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

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

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

  • Referenced in 630 articles [sw04009]
  • This software is designed to solve conic programming...
  • CUTEr

  • Referenced in 569 articles [sw04010]
  • CUTEr is a versatile testing environment for optimization...
  • PETSc

  • Referenced in 1182 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • UCI-ml

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