
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]
 multigraded polynomial rings with a monomial ordering. The core algorithms are accessible through...

ARPACK
 Referenced in 848 articles
[sw04218]
 matrixvector 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 firstorder gradientbased optimization of stochastic objective functions, based ... adaptive estimates of lowerorder 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, nonconvex 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), secondorder 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 semideﬁnite cones, secondorder cones, nonnegative orthants and Euclidean spaces; and whose objective...

UMFPACK
 Referenced in 421 articles
[sw00989]
 presented that combines a column preordering strategy with a rightlooking unsymmetricpattern multifrontal ... numerical factorization. The preordering and symbolic analysis phase computes an upper bound on fill ... factorization. Usercallable routines are provided for ordering and analyzing a sparse matrix, computing...

symrcm
 Referenced in 390 articles
[sw08566]
 symrcm: Sparse reverse CuthillMcKee ordering. r = symrcm(S) returns the symmetric reverse CuthillMcKee ... 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 firstorder 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 KnuthBendix 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]
 FokkerPlanck 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...