Results 1 to 20 of 31
Sort by:

  • 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...