• REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SINGULAR

  • Referenced in 1508 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • Sostools

  • Referenced in 289 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • SQG

  • Referenced in 19 articles [sw00907]
  • This paper describes an implementation of a complementary...
  • STRSCNE

  • Referenced in 57 articles [sw00922]
  • A Matlab solver for constrained nonlinear equations is...
  • SUNDIALS

  • Referenced in 241 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • UMFPACK

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

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

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • FreeFem++

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

  • Referenced in 16 articles [sw01808]
  • Real time simulation of traffic demand-supply interactions...
  • SNOPT

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

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

  • Referenced in 151 articles [sw03169]
  • Collocation method for the solution of nonlinear problems...
  • L-BFGS

  • Referenced in 806 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • AMPL

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

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

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

  • Referenced in 264 articles [sw04076]
  • Description (homepage): SVMlight is an implementation of Vapnik...