Results 1 to 20 of 100
Sort by:

  • ANSYS
  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...

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

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

  • HSL
  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...

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

  • Maple
  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...

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

  • NAG
  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...

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

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

  • revolve
  • Referenced in 74 articles [sw00802]
  • Algorithm 799: revolve. An implementation of checkpointing for...

  • RKC
  • Referenced in 120 articles [sw00808]
  • RKC: An explicit solver for parabolic PDEs. An...

  • SINGULAR
  • Referenced in 1508 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...

  • SUNDIALS
  • Referenced in 241 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...

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

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

  • DUNE
  • Referenced in 184 articles [sw01466]
  • DUNE, the Distributed and Unified Numerics Environment is...