• METIS

  • Referenced in 467 articles [sw04089]
  • matrices. The algorithms implemented in METIS are based on the multilevel recursive-bisection, multilevel...
  • plantri

  • Referenced in 69 articles [sw10864]
  • basis for its efficiency and the recursive algorithms behind many of its capabilities are shown...
  • Scotch

  • Referenced in 80 articles [sw07818]
  • graph mapping, based on the Dual Recursive Bipartitioning algorithm. Predefined mapping strategies allow for recursive ... give brief descriptions of the algorithm and bipartitioning methods, detail the input/output formats, instructions...
  • Chebfun

  • Referenced in 412 articles [sw05897]
  • Chebfun is a collection of algorithms and a software system in object-oriented MATLAB that ... Chebyshev expansions, fast Fourier transform, barycentric interpolation, recursive zerofinding, and automatic differentiation...
  • FastSLAM

  • Referenced in 63 articles [sw13538]
  • observation. This paper presents FastSLAM, an algorithm that recursively estimates the full posterior distribution over ... number of landmarks in the map. This algorithm is based on an exact factorization...
  • CAPTAIN

  • Referenced in 36 articles [sw14783]
  • which provides access to novel, mainly recursive, algorithms for various important aspects of identification, estimation...
  • PGSolver

  • Referenced in 35 articles [sw14051]
  • with any of the existing parity game algorithms which is only called on parts ... surprising observation that Zielonka’s recursive algorithm is the best parity game solver in practice...
  • CANONIK

  • Referenced in 24 articles [sw12229]
  • LEVI (5100 lines) calculates by a recursive algorithm the semisimple part...
  • party

  • Referenced in 27 articles [sw07330]
  • Recursive Partytioning. A computational toolbox for recursive partitioning. The core of the package is ctree ... forests. The function mob() implements an algorithm for recursive partitioning based on parametric models...
  • PDERecursionOperator

  • Referenced in 27 articles [sw12345]
  • Symbolic algorithms for the Painlevé test, special solutions, and recursion operators for nonlinear PDEs. This ... paper discusses the algorithms and implementations of three MATHEMATICA packages for the study of integrability ... third package, PDERecursionOperator.m, generates and tests recursion operators...
  • MOIP_AIRA

  • Referenced in 15 articles [sw31877]
  • Multi-Objective Integer Programming: An Improved Recursive Algorithm”, Journal of Optimization Theory and Applications...
  • Lord-Wingersky

  • Referenced in 13 articles [sw41250]
  • Lord-Wingersky algorithm Version 2.5 with applications. Item response theory scoring based on summed scores ... proposed a recursive algorithm to compute the summed score likelihood. Cai (Psychometrika...
  • SCASY

  • Referenced in 12 articles [sw03251]
  • RECSY and SCASY library software: Recursive blocked and parallel algorithms for Sylvester-type matrix equations ... loop nests of a single-element algorithm so that the computations are performed on submatrices ... combine recursion and blocking. We consider parallelization of algorithms for reduced matrix equations ... reduced triangular systems. Parallelization of recursive blocked algorithms is done in two ways. The simplest...
  • REVE

  • Referenced in 68 articles [sw28907]
  • into the algorithms. REVE uses an incremental termination method based on recursive decomposition ordering which...
  • STR

  • Referenced in 11 articles [sw41134]
  • implement, called the STR (Sort-Tile-Recursive) algorithm. The algorithms are evaluated using both synthetic...
  • CLIFFORD

  • Referenced in 84 articles [sw00131]
  • selectable algorithms for the Clifford product are implemented: cmulNUM-based on Chevalley’s recursive formula...
  • Algorithm 781

  • Referenced in 9 articles [sw04674]
  • space-filling curve by recursion An efficient algorithm for the generation of Hilbert’s space ... filling curve is given. The algorithm implements a recursive procedure that involves simple integer operations ... points that make the Hilbert curve. The algorithm is elegant, short, and considerably ... easier to implement than previous recursive and nonrecursive algorithms and can be efficiently implemented...
  • CARMA

  • Referenced in 9 articles [sw07235]
  • based methods can be realized through recursive algorithms and iterative algorithms. Iterative methods...
  • Spacer

  • Referenced in 11 articles [sw19496]
  • algorithm for safety verification of recursive programs. The algorithm is modular and analyzes procedures individually...
  • VeriFast

  • Referenced in 64 articles [sw07705]
  • recursive functions. An SMT solver is used to solve queries over data values; an algorithm...