
METIS
 Referenced in 467 articles
[sw04089]
 matrices. The algorithms implemented in METIS are based on the multilevel recursivebisection, 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 objectoriented 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]
 MultiObjective Integer Programming: An Improved Recursive Algorithm”, Journal of Optimization Theory and Applications...

LordWingersky
 Referenced in 13 articles
[sw41250]
 LordWingersky 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 Sylvestertype matrix equations ... loop nests of a singleelement 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 (SortTileRecursive) algorithm. The algorithms are evaluated using both synthetic...

CLIFFORD
 Referenced in 84 articles
[sw00131]
 selectable algorithms for the Clifford product are implemented: cmulNUMbased on Chevalley’s recursive formula...

Algorithm 781
 Referenced in 9 articles
[sw04674]
 spacefilling 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...