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

SageMath
 Referenced in 1672 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SPRINT2D
 Referenced in 25 articles
[sw00904]
 SPRINT2D is a set of software tools for...

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 variablecoefficient 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 symbolicnumericalgraphical...

ML
 Referenced in 516 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose 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 largescale constrained...

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

BLAS
 Referenced in 484 articles
[sw03216]
 Lowlevel utilities common to many mathematical software...