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

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

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

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

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

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

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

MATCONT
 Referenced in 455 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 421 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 577 articles
[sw40754]
 SpalartAllmaras model (written in nonconservation form). The primary reference is: Spalart...

bvp4c
 Referenced in 307 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...

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

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

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

ODEPACK
 Referenced in 206 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...

E Theorem Prover
 Referenced in 206 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 285 articles
[sw08730]
 based on both human knowledge (in the form of fuzzy ifthen rules) and stipulated...

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

LMFDB
 Referenced in 167 articles
[sw07249]
 LMFDB, the database of Lfunctions, modular forms, and related objects. These pages are intended ... examples of Lfunctions coming from modular forms, elliptic curves, number fields, and Dirichlet characters ... well as more generally from automorphic forms, algebraic varieties, and Artin representations. In addition...