• ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • Coq

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

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Mathematica

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

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

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

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

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

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

  • Referenced in 1325 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • 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...
  • UCI-ml

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

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

  • Referenced in 690 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • ARPACK

  • Referenced in 842 articles [sw04218]
  • ARPACK is a collection of Fortran77 subroutines designed...
  • PITCON

  • Referenced in 260 articles [sw04244]
  • Algorithm 596: Methods for solving systems of nonlinear...
  • Couenne

  • Referenced in 68 articles [sw04347]
  • Branching and bounds tightening techniques for non-connvex...
  • SDPLR

  • Referenced in 147 articles [sw04745]
  • SDPLR is an ANSI C package developed S...