
SparseMatrix
 Referenced in 617 articles
[sw04629]
 structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics, computer graphics/vision...

ScaLAPACK
 Referenced in 404 articles
[sw00830]
 generalized orthogonal factorizations, orthogonal transformation routines, reductions to upper Hessenberg, bidiagonal and tridiagonal form, reduction...

Knapsack
 Referenced in 461 articles
[sw04723]
 considered with respect to relaxations, bounds, reductions and other algorithmic techniques for the exact solution...

LSDYNA
 Referenced in 309 articles
[sw03068]
 Multicore processors have resulted in a drastic reduction in computer hardware costs and a huge...

redbKIT
 Referenced in 162 articles
[sw12977]
 offlineonline decomposition strategies aimed at the reduction of computational complexity. Furthermore, they carry...

Esterel
 Referenced in 162 articles
[sw20012]
 based verification tools that perform either bisimulation reduction or safety property checking. Esterel...

NTRU
 Referenced in 158 articles
[sw11761]
 polynomial mixing system with the independence of reduction modulo two relatively prime integers...

TISEAN
 Referenced in 155 articles
[sw00967]
 algorithms for data representation, prediction, noise reduction, dimension and Lyapunov estimation, and nonlinearity testing...

LiE
 Referenced in 150 articles
[sw01075]
 representation theory of complex semisimple (reductive) Lie groups and algebras, and on the structure...

CutTools
 Referenced in 97 articles
[sw07230]
 CutTools: a program implementing the OPP reduction method to compute oneloop amplitudes. We present ... program that implements the OPP reduction method to extract the coefficients of the oneloop...

Traces
 Referenced in 133 articles
[sw07823]
 approach presented here leads to a huge reduction in the search space, thereby making computation...

Reduze
 Referenced in 72 articles
[sw10354]
 Reduze – Feynman integral reduction in C++. Reduze is a computer program for reducing Feynman integrals ... integrals employing a variant of Laporta’s reduction algorithm. This web page presents version ... program. New features include the distributed reduction of single topologies on multiple processor cores ... parallel reduction of different topologies is supported via a modular, load balancing job system. Fast...

BiCGstab
 Referenced in 122 articles
[sw04022]
 second one is used for further reduction of the BiCG residue and for improving...

SETHEO
 Referenced in 119 articles
[sw00707]
 systems: a powerful preprocessing module for a reduction of the input formula, the proof procedure...

MONA
 Referenced in 118 articles
[sw06170]
 tested over the years, including formula reductions, DAGification, guided tree automata, threevalued logic, eager...

BABEL
 Referenced in 71 articles
[sw03018]
 narrowing as the basis of a lazy reduction semantics which embodies both rewriting ... well as a soundness result for the reduction semantics w.r.t. the declarative one. We also ... sketch a completeness result for the reduction semantics and illustrate the features of the language...

ELAN
 Referenced in 108 articles
[sw02179]
 existing rewritingbased languages where the term reduction strategy is hardwired and not accessible...

CALMA
 Referenced in 105 articles
[sw03235]
 methods, genetic algorithms, neural networks, and potential reduction. These algorithms were tested and compared...

VTK
 Referenced in 103 articles
[sw10593]
 modeling techniques such as: implicit modeling, polygon reduction, mesh smoothing, cutting, contouring, and Delaunay triangulation...

FIRE
 Referenced in 69 articles
[sw10355]
 Algorithm FIREFeynman integral reduction. The recently developed algorithm FIRE performs the reduction of Feynman...