• BARON

  • Referenced in 339 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Gmsh

  • Referenced in 690 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HSL

  • Referenced in 275 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • LAPACK

  • Referenced in 1677 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5296 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6235 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 421 articles [sw00610]
  • Produced by experts for use in a variety...
  • PARDISO

  • Referenced in 283 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • ScaLAPACK

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

  • Referenced in 172 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • UMFPACK

  • Referenced in 393 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • AUTO

  • Referenced in 922 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • FreeFem++

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

  • Referenced in 38 articles [sw03348]
  • STAN is a domain-independent planner developed within...
  • deal.ii

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

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

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

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

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