• CGAL

  • Referenced in 355 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

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

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

  • Referenced in 12074 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PROFIL/BIAS

  • Referenced in 133 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • R

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

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

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

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

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

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

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

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

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

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

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

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

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