
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 (SFMersenne...

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 nonsmooth, 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 multipass compilation. The attribute evaluator (optimal recursive evaluation) is implemented...

bdt
 Referenced in 3 articles
[sw26300]
 special case of a general recursive Burgtype 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 generalpurpose Lisp dialects are Common Lisp and Scheme ... management, dynamic typing, conditionals, higherorder functions, recursion, and the selfhosting compiler...

BILUTM
 Referenced in 40 articles
[sw07243]
 domainbased 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 BenderWu, 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 ... multilevel 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]
 MultiObjective 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...

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