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

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

ARPACK
 Referenced in 806 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 1047 articles
[sw05207]
 routes for fleet of vehicles in order to serve a given set of customers...

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

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

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

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

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

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

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

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

UMFPACK
 Referenced in 375 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 574 articles
[sw06916]
 been able to obtain one to two orders of magnitude performance improvement on difficult...

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

VAMPIRE
 Referenced in 241 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...

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

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

OTTER
 Referenced in 316 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...