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

Octave
 Referenced in 288 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

ORTHPOL
 Referenced in 79 articles
[sw00659]
 Algorithm 726: ORTHPOL  A package of routines for...

PARAMESH
 Referenced in 100 articles
[sw00677]
 PARAMESH: A parallel adaptive mesh refinement community toolkit...

PROFIL/BIAS
 Referenced in 133 articles
[sw00733]
 PROFIL (Programmer’s Runtime Optimized Fast Interval Library...

R
 Referenced in 8601 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 740 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

RWPM
 Referenced in 16 articles
[sw00821]
 RWPM: A software package of shooting methods for...

Theorema
 Referenced in 145 articles
[sw00961]
 The software system Theorema provides a uniform logic...

TNPACK
 Referenced in 42 articles
[sw00970]
 We present a FORTRAN package of subprograms for...

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

SYMMGRP
 Referenced in 118 articles
[sw01066]
 SYMMGRP.MAX and other symbolic programs for Lie symmetry...

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

SymbolicC++
 Referenced in 31 articles
[sw01428]
 SymbolicC++ introduces, amongst others, the Symbolic class which...

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

Isabelle/Isar
 Referenced in 92 articles
[sw02006]
 Building formal method tools in the Isabelle/Isar framework...

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

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