
MACSYMA
 Referenced in 720 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

ML
 Referenced in 522 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

QUADPACK
 Referenced in 264 articles
[sw01236]
 Fortran subprograms for evaluating definite integrals of functions...

Kronos
 Referenced in 273 articles
[sw01270]
 KRONOS is a tool developed with the aim...

PISA
 Referenced in 63 articles
[sw01397]
 PISA consists of two parts: PISA is a...

PhFit
 Referenced in 24 articles
[sw01789]
 PhFit: A general phasetype fitting tool. PhFit...

ADIFOR
 Referenced in 254 articles
[sw02185]
 ADIFOR is a tool for the automatic differentiation...

SNOPT
 Referenced in 551 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

SIMANN
 Referenced in 13 articles
[sw02517]
 Simulated annealing is a global optimization method that...

RMAX
 Referenced in 32 articles
[sw02539]
 RMAX is a very simple modelbased...

DTCWT
 Referenced in 100 articles
[sw02857]
 Research on pixellevel image fusion algorithm based...

SPLUS
 Referenced in 615 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

BLAST
 Referenced in 129 articles
[sw02937]
 BLAST (Berkeley Lazy Abstraction Software verification Tool) is...

LOTOS
 Referenced in 152 articles
[sw02961]
 Introduction to the ISO specification language LOTOS. LOTOS...

LBFGS
 Referenced in 852 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

CUDA
 Referenced in 1333 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

SPIN
 Referenced in 727 articles
[sw03455]
 Spin is a popular opensource software tool...

AMPL
 Referenced in 621 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...