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

RODAS
 Referenced in 1598 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 1721 articles
[sw00537]
 multigraded polynomial rings with a monomial ordering. The core algorithms are accessible through...

ARPACK
 Referenced in 794 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...

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

YALMIP
 Referenced in 962 articles
[sw04595]
 used for linear programming, quadratic programming, second order cone programming, semidefinite programming, nonconvex semidefinite...

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

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

CVX
 Referenced in 734 articles
[sw04594]
 including linear and quadratic programs (LPs/QPs), secondorder cone programs (SOCPs), and semidefinite programs (SDPs...

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

SDPT3
 Referenced in 644 articles
[sw04009]
 product of semideﬁnite cones, secondorder cones, nonnegative orthants and Euclidean spaces; and whose objective...

symrcm
 Referenced in 381 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...

UMFPACK
 Referenced in 371 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...

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

Adam
 Referenced in 399 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...

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

VAMPIRE
 Referenced in 239 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 447 articles
[sw04089]
 finite element meshes, and producing fill reducing orderings for sparse matrices. The algorithms implemented...

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

OTTER
 Referenced in 315 articles
[sw02904]
 designed to prove theorems stated in firstorder logic with equality. Otter’s inference rules ... includes facilities for term rewriting, term orderings, KnuthBendix completion, weighting, and strategies for directing...