• Tensorlab

  • Referenced in 77 articles [sw14255]
  • block term decompositions (BTD) and low multilinear rank approximation (LMLRA), complex optimization: quasi-Newton...
  • ATLAS

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

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

  • Referenced in 119 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

  • Referenced in 410 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Macaulay2

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

  • Referenced in 455 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

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

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

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • PHCpack

  • Referenced in 236 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...
  • R

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

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

  • Referenced in 42 articles [sw00902]
  • To recover or approximate smooth multivariate functions, sparse...
  • SNOPT

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

  • Referenced in 501 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SeDuMi

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