Results 1 to 20 of 103
Sort by:

  • LUCY
  • Referenced in 5 articles [sw14999]
  • arbitrary user defined bases, multilinearity of the product, spinors and their duals with respect...

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

  • BARON
  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...

  • CLIFFORD
  • Referenced in 84 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...

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

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

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

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

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

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

  • MiniSat
  • Referenced in 565 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 9810 articles [sw00771]
  • R is a language and environment for statistical...

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

  • STATISTICA
  • Referenced in 37 articles [sw00913]
  • Since 1984, StatSoft has been developing the STATISTICA...

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

  • MACSYMA
  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...

  • CMRH
  • Referenced in 32 articles [sw02194]
  • CMRH: A new method for solving nonsymmetric linear...

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