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

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

rpart
 Referenced in 152 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...

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

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

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

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

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

ARMS
 Referenced in 65 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...

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

VeriFast
 Referenced in 64 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...

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

libMC
 Referenced in 47 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...

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

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

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

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

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

Nitpick
 Referenced in 63 articles
[sw00622]
 inductive predicates and datatypes, and (co)recursive functions. Fundamentally a finite model finder, it approximates...