
METIS
 Referenced in 445 articles
[sw04089]
 METIS are based on the multilevel recursivebisection, multilevel kway, and multiconstraint partitioning...

Chebfun
 Referenced in 327 articles
[sw05897]
 Chebyshev expansions, fast Fourier transform, barycentric interpolation, recursive zerofinding, and automatic differentiation...

rpart
 Referenced in 127 articles
[sw07115]
 package rpart: Recursive Partitioning. Recursive partitioning and regression trees. Recursive partitioning for classification, regression...

ITSOL
 Referenced in 156 articles
[sw04031]
 threshold  with automatic block detection) ARMS (Algebraic Recursive Multilevel Solvers  includes actually several methods...

NQTHM
 Referenced in 149 articles
[sw07543]
 permission of bounded quantification and partial recursive functions. These changes in the logic were described...

Yices
 Referenced in 138 articles
[sw04436]
 linear real and integer arithmetic, scalar types, recursive datatypes, tuples, records, extensional arrays, fixedsize...

LISP
 Referenced in 126 articles
[sw07201]
 management, dynamic typing, conditionals, higherorder functions, recursion, and the selfhosting compiler...

CLIFFORD
 Referenced in 79 articles
[sw00131]
 implemented: cmulNUMbased on Chevalley’s recursive formula, and cmuIRSbased on a nonrecursive...

Scotch
 Referenced in 77 articles
[sw07818]
 graph mapping, based on the Dual Recursive Bipartitioning algorithm. Predefined mapping strategies allow for recursive...

ARMS
 Referenced in 63 articles
[sw00048]
 ARMS: an algebraic recursive multilevel solver for general sparse linear systems. The paper describes ... recursive multilevel method for preconditioning of general sparse linear systems. This strategy is used ... incomplete LU factorization. The ARMS is fully recursive and employs the nested dissection reordering...

Tyrolean
 Referenced in 89 articles
[sw07830]
 detection, matrix interpretation, polynomial interpretation, predictive labeling, recursive SCC, rootlabeling, semantic labeling, simple projection...

VeriFast
 Referenced in 57 articles
[sw07705]
 programmer may declare inductive datatypes and primitive recursive functions for specification. Verification proceeds by symbolic ... representation equivalences and facts about the primitive recursive functions. An SMT solver is used...

libMC
 Referenced in 43 articles
[sw06615]
 relaxations of a given factorable function, a recursive procedure is first employed to develop ... well as convex and concave relaxations recursively for each of these intermediate variables via interval ... subgradient elements. These elements are calculated recursively upon application of the subgradient propagation theory developed ... reverse mode, which performs similar recursive operations, but works through the evaluation trace backwards. Only...

RcppArmadillo
 Referenced in 73 articles
[sw09313]
 need for temporaries. This is accomplished through recursive templates and template metaprogramming. This library...

GiNaC
 Referenced in 72 articles
[sw01609]
 license (GPL). GiNaC is an iterated and recursive acronym for GiNaC...

BlackHat
 Referenced in 70 articles
[sw10450]
 implements the unitarity method and onshell recursion to construct amplitudes. As input...

REVE
 Referenced in 68 articles
[sw28907]
 uses an incremental termination method based on recursive decomposition ordering which constructs the termination proof...

Dafny
 Referenced in 64 articles
[sw00183]
 language also offers updatable ghost variables, recursive functions, and types like sets and sequences. Specifications...

Isabelle/ZF
 Referenced in 62 articles
[sw04973]
 Results proved include Cantor’s Theorem, the Recursion Theorem, the SchroederBernstein Theorem, and (assuming...

FastSLAM
 Referenced in 62 articles
[sw13538]
 This paper presents FastSLAM, an algorithm that recursively estimates the full posterior distribution over robot...