• OEIS

• Referenced in 4285 articles [sw07248]
• medical records is in the correct order. (Perhaps you are a computer scientist or someone...

• RODAS

• Referenced in 1757 articles [sw04112]
• Rosenbrock method of order 4(3), for problems of the form ... singular matrix M; with dense output; algebraic order conditions are considered Concerning the linear algebra...

• Macaulay2

• Referenced in 1958 articles [sw00537]
• multi-graded polynomial rings with a monomial ordering. The core algorithms are accessible through...

• ARPACK

• Referenced in 848 articles [sw04218]
• matrix-vector product w <- Av requires order n rather than the usual order n2 floating ... largest magnitude. Storage requirements are on the order of n*k locations. No auxiliary storage...

• Adam

• Referenced in 948 articles [sw22205]
• introduce Adam, an algorithm for first-order gradient-based optimization of stochastic objective functions, based ... adaptive estimates of lower-order moments. The method is straightforward to implement, is computationally efficient...

• VRP

• Referenced in 1128 articles [sw05207]
• routes for fleet of vehicles in order to serve a given set of customers...

• YALMIP

• Referenced in 1063 articles [sw04595]
• used for linear programming, quadratic programming, second order cone programming, semidefinite programming, non-convex semidefinite...

• KELLEY

• Referenced in 643 articles [sw04829]
• availability and accuracy of first order, and sometimes also second order derivatives of the objective...

• CVX

• Referenced in 855 articles [sw04594]
• including linear and quadratic programs (LPs/QPs), second-order cone programs (SOCPs), and semidefinite programs (SDPs...

• REDUCE

• Referenced in 746 articles [sw00789]
• many contributors. Its capabilities include: expansion and ordering of polynomials and rational functions; substitutions...

• TSPLIB

• Referenced in 711 articles [sw00983]
• Asymmetric traveling salesman problem (ATSP) Sequential ordering problem (SOP) Capacitated vehicle routing problem (CVRP...

• SDPT3

• Referenced in 707 articles [sw04009]
• product of semidefinite cones, second-order cones, nonnegative orthants and Euclidean spaces; and whose objective...

• UMFPACK

• Referenced in 421 articles [sw00989]
• presented that combines a column pre-ordering strategy with a right-looking unsymmetric-pattern multifrontal ... numerical factorization. The pre-ordering and symbolic analysis phase computes an upper bound on fill ... factorization. User-callable routines are provided for ordering and analyzing a sparse matrix, computing...

• symrcm

• Referenced in 390 articles [sw08566]
• symrcm: Sparse reverse Cuthill-McKee ordering. r = symrcm(S) returns the symmetric reverse Cuthill-McKee ... ordering of S. This is a permutation r such that S(r,r) tends ... that come from long, skinny problems. The ordering works for both symmetric and nonsymmetric...

• HOL

• Referenced in 594 articles [sw05492]
• Higher Order Logic (HOL) is a programming environment in which theorems can be proved...

• Chaff

• Referenced in 591 articles [sw06916]
• been able to obtain one to two orders of magnitude performance improvement on difficult...

• MUMPS

• Referenced in 541 articles [sw04013]
• MUMPS: Fortran, C, Matlab and Scilab; Several orderings interfaced: AMD, AMF, PORD, METIS, PARMETIS, SCOTCH...

• VAMPIRE

• Referenced in 264 articles [sw02918]
• automatic theorem prover for first-order classical logic. It consists of a shell ... kernel. The kernel implements the calculi of ordered binary resolution and superposition for handling equality ... optionally modulo commutativity), subsumption resolution, rewriting by ordered unit equalities, and a lightweight basicness ... CASC version uses the Knuth-Bendix ordering. The lexicographic path ordering has been implemented recently...

• METIS

• Referenced in 480 articles [sw04089]
• finite element meshes, and producing fill reducing orderings for sparse matrices. The algorithms implemented...

• FODE

• Referenced in 323 articles [sw08377]
• Fokker-Planck equation with several different fractional orders are demonstrated and compared with each other ... moreover for $alpha =0.8$ the convergent order in space is confirmed and the numerical results...