
Maple
 Referenced in 5296 articles
[sw00545]
 your technical knowledge in an electronic form that combines calculations, explanatory text and math, graphics...

RODAS
 Referenced in 1654 articles
[sw04112]
 order 4(3), for problems of the form My’=f(x,y) with possibly singular...

AUTO
 Referenced in 922 articles
[sw01059]
 bifurcation analysis of algebraic systems of the form ... systems of ordinary differential equations of the form...

SeDuMi
 Referenced in 1245 articles
[sw04002]
 column handling, using the GoldfarbScheinberg product form idea...

ZTree
 Referenced in 624 articles
[sw11707]
 representation, allowing the simple programming of normal form games, extensive form games, double auctions...

REDUCE
 Referenced in 743 articles
[sw00789]
 pattern matching in a wide variety of forms; automatic and user controlled simplification of expressions...

HLLE
 Referenced in 604 articles
[sw06605]
 which is only based on the integral form of the conservation laws and the largest...

MATCONT
 Referenced in 421 articles
[sw00551]
 interactive environment for the continuation and normal form analysis of dynamical systems ... extended systems, and the computation of normal form coefficients for bifurcations of limit cycles...

ScaLAPACK
 Referenced in 413 articles
[sw00830]
 reductions to upper Hessenberg, bidiagonal and tridiagonal form, reduction of a symmetricdefinite/Hermitiandefinite generalized ... eigenproblem to standard form, the symmetric/Hermitian, generalized symmetric/Hermitian, and the nonsymmetric eigenproblem. Prototype codes...

SpalartAllmaras
 Referenced in 507 articles
[sw40754]
 SpalartAllmaras model (written in nonconservation form). The primary reference is: Spalart...

WordNet
 Referenced in 402 articles
[sw01777]
 distinctions. First, WordNet interlinks not just word forms—strings of letters—but specific senses...

FORM
 Referenced in 343 articles
[sw09051]
 Computer algebra system (CAS) for very big calculations...

CGAL
 Referenced in 381 articles
[sw00118]
 efficient and reliable geometric algorithms in the form of a C++ library. CGAL is used...

bvp4c
 Referenced in 268 articles
[sw06178]
 system of ordinary differential equations of the form y′ = f(x,y) on the interval ... unknown parameters p for problems of the form...

E Theorem Prover
 Referenced in 198 articles
[sw10187]
 either in clausal or full firstorder form. The system will then try to find ... existential (i.e. it’s of the form “there exists an X with property...

ANFIS
 Referenced in 274 articles
[sw08730]
 based on both human knowledge (in the form of fuzzy ifthen rules) and stipulated...

ODEPACK
 Referenced in 197 articles
[sw08341]
 includes solvers for systems given in explicit form, dy/dt = f(t,y), and also solvers ... systems given in linearly implicit form, A(t,y) dy/dt...

SVMlight
 Referenced in 263 articles
[sw04076]
 problems lowerbounding the solution using a form of local search. A detailed description...

DASSL
 Referenced in 260 articles
[sw03174]
 solve a system of the above form for Y and YPRIME. Values...