• ResEntSG

  • Referenced in 2 articles [sw39447]
  • determine the smallest channel capacity above which an observer can be designed that observes ... optimal metric in a class of conformal metrics. Included in the software are three example...
  • MSTor

  • Referenced in 1 article [sw06059]
  • functions, free energies, enthalpies, entropies, and heat capacities of complex molecules including torsional anharmonicity ... method of Kilpatrick and Pitzer, to generate conformational structures, to calculate, either analytically...
  • BARON

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

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

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • 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...
  • NAG

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

  • Referenced in 233 articles [sw00751]
  • A collection of electronically available data instances for...
  • R

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

  • Referenced in 1970 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SUNDIALS

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

  • Referenced in 155 articles [sw01160]
  • SERBA: a B.I.E. program with linear elements for...
  • APL

  • Referenced in 79 articles [sw01165]
  • APL (named after the book A Programming Language...
  • SNOPT

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

  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • L-BFGS

  • Referenced in 805 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • MPFR

  • Referenced in 226 articles [sw03312]
  • The MPFR library is a C library for...