• METIS

  • Referenced in 452 articles [sw04089]
  • METIS are based on the multilevel recursive-bisection, multilevel k-way, and multi-constraint partitioning...
  • Chebfun

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

  • Referenced in 138 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 142 articles [sw04436]
  • linear real and integer arithmetic, scalar types, recursive datatypes, tuples, records, extensional arrays, fixed-size...
  • LISP

  • Referenced in 126 articles [sw07201]
  • management, dynamic typing, conditionals, higher-order functions, recursion, and the self-hosting compiler...
  • CLIFFORD

  • Referenced in 80 articles [sw00131]
  • implemented: cmulNUM-based on Chevalley’s recursive formula, and cmuIRS-based on a non-recursive...
  • Scotch

  • Referenced in 79 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...
  • Tyrolean

  • Referenced in 89 articles [sw07830]
  • detection, matrix interpretation, polynomial interpretation, predictive labeling, recursive SCC, root-labeling, semantic labeling, simple projection...
  • RcppArmadillo

  • Referenced in 84 articles [sw09313]
  • need for temporaries. This is accomplished through recursive templates and template meta-programming. This library...
  • 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 45 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 77 articles [sw01609]
  • license (GPL). GiNaC is an iterated and recursive acronym for GiNaC...
  • BlackHat

  • Referenced in 71 articles [sw10450]
  • implements the unitarity method and on-shell 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 66 articles [sw00183]
  • language also offers updatable ghost variables, recursive functions, and types like sets and sequences. Specifications...
  • plantri

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

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