• RKC

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

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

  • Referenced in 176 articles [sw00930]
  • SuperLU is a general purpose library for the...
  • TSPLIB

  • Referenced in 665 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • UMFPACK

  • Referenced in 369 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • VODE

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

  • Referenced in 129 articles [sw01175]
  • ADINA R&D, Inc. was founded in 1986...
  • PRISM

  • Referenced in 415 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • MACSYMA

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

  • Referenced in 516 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • QUADPACK

  • Referenced in 250 articles [sw01236]
  • Fortran subprograms for evaluating definite integrals of functions...
  • CLEAN

  • Referenced in 58 articles [sw01346]
  • Clean is a functional language based on Term...
  • FreeFem++

  • Referenced in 1059 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • WordNet

  • Referenced in 392 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • SNOPT

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

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

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