• COSTA

  • Referenced in 23 articles [sw00162]
  • COSTA is a research prototype which performs automatic...
  • KNITRO

  • Referenced in 180 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LAPACK

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

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

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

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

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

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

  • Referenced in 73 articles [sw00592]
  • The basis of mapped finite element methods are...
  • R

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

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

  • Referenced in 125 articles [sw00940]
  • SymPy is a Python library for symbolic mathematics...
  • VODE

  • Referenced in 194 articles [sw01005]
  • VODE: A variable-coefficient ODE solver. This paper...
  • AUTO

  • Referenced in 903 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • SLEDGE

  • Referenced in 97 articles [sw01217]
  • Using the SLEDGE package on Sturm-Lioville problems...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • S-PLUS

  • Referenced in 602 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • DASSL

  • Referenced in 259 articles [sw03174]
  • Subroutine DDASSL uses the backward differentiation formulas of...