
ESTIMA
 Referenced in 15 articles
[sw00249]
 System identification is an iterative model building process...

Fermat
 Referenced in 41 articles
[sw00277]
 Fermat is a computer algebra system (CAS) for...

FFLASFFPACK
 Referenced in 24 articles
[sw00283]
 FFPACK: finite field linear algebra package. The FFLAS...

GAP
 Referenced in 3003 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GITA
 Referenced in 8 articles
[sw00353]
 GITA: A REDUCE program for the normalization of...

GLie
 Referenced in 6 articles
[sw00356]
 GLie; a MAPLE program for Lie supersymmetries of...

gmp
 Referenced in 274 articles
[sw00363]
 GMP is a free library for arbitrary precision...

GNT
 Referenced in 22 articles
[sw00367]
 GnT is an experimental implementation of the stable...

GRASP92
 Referenced in 22 articles
[sw00380]
 We describe a suite of programs for multiconfiguration...

HSL
 Referenced in 274 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

HURRY
 Referenced in 27 articles
[sw00420]
 HURRY: An acceleration algorithm for scalar sequences and...

hypre
 Referenced in 287 articles
[sw00426]
 hypre is a software library for the solution...

I2Geo
 Referenced in 5 articles
[sw00428]
 This paper describes I2Geo, the platform of the...

InterViewer
 Referenced in 29 articles
[sw00443]
 InterViewer: Dynamic visualization of proteinprotein interactions From...

Isabelle
 Referenced in 639 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

ITPACK
 Referenced in 47 articles
[sw00459]
 The ITPACK project: Past, present, and future The...

JaVis
 Referenced in 4 articles
[sw00469]
 JaVis: A UMLBased Visualization and Debugging Environment...

JMP
 Referenced in 54 articles
[sw00476]
 For more than 20 years, JMP statistical discovery...