• 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 ... solver (ARMS) that generalize previous authors’ codes BILUM and BILUTM. All these methods are based ... incomplete LU factorization. The ARMS is fully recursive and employs the nested dissection reordering...
  • OSCAR

  • Referenced in 45 articles [sw26328]
  • defeasible reasoner will not generally be recursively enumerable, a defeasible reasoner based upon a rich...
  • GiNaC

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

  • Referenced in 17 articles [sw07969]
  • generators (Park Miller) and multiple recursive generators (Knuth TAOCP), generalized feedback shift register (SF-Mersenne...
  • pARMS

  • Referenced in 39 articles [sw00683]
  • more general framework of “distributed sparse linear systems”. The parallel Algebraic Recursive Multilevel Solver (pARMS...
  • ITSOL

  • Referenced in 156 articles [sw04031]
  • library of iterative solvers for general sparse linear systems of equations. ITSOL can be viewed ... threshold - with automatic block detection) ARMS (Algebraic Recursive Multilevel Solvers -- includes actually several methods...
  • libMC

  • Referenced in 47 articles [sw06615]
  • well as convex and concave relaxations recursively for each of these intermediate variables via interval ... relaxation techniques [3]. Because McCormick relaxations are generally non-smooth, subgradients (as opposed to gradients ... subgradient elements. These elements are calculated recursively upon application of the subgradient propagation theory developed...
  • na1

  • Referenced in 55 articles [sw11516]
  • called by the authors the method of recursive zoom (MRZ) and its variants: SMRZ, BMRZ ... stand for symmetric, balancing and general, respectively. It is shown that a breakdown...
  • GRPIA

  • Referenced in 4 articles [sw27311]
  • derive a new algorithm, called the Generalized Recursive Polynomial Interpolation Algorithm (GRPIA), for computing...
  • JastAdd

  • Referenced in 23 articles [sw01700]
  • computations, thereby allowing general multi-pass compilation. The attribute evaluator (optimal recursive evaluation) is implemented...
  • bdt

  • Referenced in 3 articles [sw26300]
  • special case of a general recursive Burg-type algorithm. We illustrate the structure of this...
  • SAFKASI

  • Referenced in 5 articles [sw20431]
  • such as method inlining and tail recursion, and generally interfered with interprocedural optimization. We present...
  • LISP

  • Referenced in 127 articles [sw07201]
  • history. Today, the most widely known general-purpose Lisp dialects are Common Lisp and Scheme ... management, dynamic typing, conditionals, higher-order functions, recursion, and the self-hosting compiler...
  • BILUTM

  • Referenced in 40 articles [sw07243]
  • domain-based multilevel block ILUT preconditioner for general sparse matrices The purpose of this paper ... complete LU factorization with an algebraic multilevel recursive reduction. This is implemented which is shown...
  • BenderWu

  • Referenced in 14 articles [sw22948]
  • first generalize the method of Bender-Wu, and derive exact recursion relations which allow...
  • MDCT/MDST

  • Referenced in 9 articles [sw03015]
  • standard. In this paper we derive sinusoidal recursive formulas for transforming kernels of the MDCT/MDST ... general length using the regressive structure derived from the sinusoidal recursive formulas. The proposed regular...
  • BILUM

  • Referenced in 50 articles [sw04015]
  • preconditioning techniques. BILUM combines the benefits of generality and robustness of ILU preconditioning techniques with ... multi-level structure is constructed by recursively applying the above idea to the approximate Schur...
  • Cuneiform

  • Referenced in 1 article [sw26049]
  • partitioned data sets, allows conditionals and general recursion, and has a naturally parallelizable evaluation strategy...
  • MOIP_AIRA

  • Referenced in 15 articles [sw31877]
  • Multi-Objective Integer Programming: An Improved Recursive Algorithm”, Journal of Optimization Theory and Applications ... This is a general C implementation of the algorithm discussed in the above cited paper...
  • RP-DeLP

  • Referenced in 4 articles [sw19192]
  • propose a recursive semantics for warranted formulas in a general defeasible logic argumentation framework ... collective (non-binary) conflict among arguments. The recursive semantics for warranted formulas is based...