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

  • Referenced in 794 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...
  • 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, non-convex 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), second-order 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 semidefinite cones, second-order cones, nonnegative orthants and Euclidean spaces; and whose objective...
  • symrcm

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

  • Referenced in 371 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...
  • 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 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...
  • 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 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 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 first-order logic with equality. Otter’s inference rules ... includes facilities for term rewriting, term orderings, Knuth-Bendix completion, weighting, and strategies for directing...