• 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 Goldfarb-Scheinberg product form idea...

• Z-Tree

• 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 symmetric-definite/Hermitian-definite generalized ... eigenproblem to standard form, the symmetric/Hermitian, generalized symmetric/Hermitian, and the nonsymmetric eigenproblem. Prototype codes...

• Spalart-Allmaras

• Referenced in 577 articles [sw40754]
• Spalart-Allmaras model (written in non-conservation 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...

• MATLAB ODE suite

• Referenced in 414 articles [sw12710]
• stiff problems allow the more general form M(t)y ’ =f(t,y) with...

• 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 first-order 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 if-then rules) and stipulated...

• SVMlight

• Referenced in 268 articles [sw04076]
• problems lower-bounding the solution using a form of local search. A detailed description...

• LMFDB

• Referenced in 167 articles [sw07249]
• LMFDB, the database of L-functions, modular forms, and related objects. These pages are intended ... examples of L-functions 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...