
ARPACK
 Referenced in 781 articles
[sw04218]
 When the matrix A is symmetric it reduces to a variant of the Lanczos process ... Arnoldi/Lanczos process with the Implicitly Shifted QR technique that is suitable for large scale problems...

REDLOG
 Referenced in 159 articles
[sw04250]
 package that extends the computer algebra system REDUCE to a computer logic system ... explain the design issues and implementation techniques...

ParaSails
 Referenced in 27 articles
[sw11521]
 ParaSails also uses a postfiltering technique to reduce the cost of applying the preconditioner...

QUBOS
 Referenced in 24 articles
[sw09580]
 procedure is based on nonclausal simplification techniques that reduce formulae to a propositional clausal form...

tSNE
 Referenced in 88 articles
[sw22300]
 threedimensional map. The technique is a variation of Stochastic Neighbor Embedding (Hinton and Roweis ... optimize, and produces significantly better visualizations by reducing the tendency to crowd points together ... better than existing techniques at creating a single map that reveals structure at many different...

SEC/AUED
 Referenced in 20 articles
[sw03211]
 codeword. We present a technique to reduce the weight distribution of the SEC code...

redbKIT
 Referenced in 158 articles
[sw12977]
 This book provides a basic introduction to reduced basis (RB) methods for problems involving ... using greedy algorithms and proper orthogonal decomposition techniques, investigate their approximation properties and analyze offline ... priori and a posteriori error analysis. Reduced basis methods for partial differential equations. An introduction...

ABF++
 Referenced in 21 articles
[sw14153]
 numerical solution technique that dramatically reduces the dimension of the linear systems solved at each ... scheme; and (3) an efficient hierarchical solution technique. The speedup with (1) does not come...

MIBPB
 Referenced in 49 articles
[sw08106]
 subspace (KS) techniques. Condition numbers of the MIBPB matrices are significantly reduced by using appropriate...

Kodkod
 Referenced in 23 articles
[sw07090]
 These desiderata are addressed with three new techniques: a symmetry detection algorithm that works ... boolean expression diagrams and reduced boolean circuits. The presented techniques have been implemented and evaluated...

RBniCS
 Referenced in 11 articles
[sw33333]
 implementation in FEniCS of several reduced order modelling techniques (and, in particular, certified reduced basis...

FastFDs
 Referenced in 10 articles
[sw01613]
 finding minimal covers of hypergraphs. The technique of reducing the FD discovery problem...

NPen++
 Referenced in 5 articles
[sw17459]
 proposed tree search and pruning technique reduces the search space considerably without loosing too much...

Rebeca
 Referenced in 8 articles
[sw09422]
 abstraction, symmetry and partial order reduction techniques for reducing the state space. Simple messagedriven...

Geppetto
 Referenced in 7 articles
[sw31791]
 remote parties. Recent work has dramatically reduced the client’s cost to verify the correctness ... remains largely impractical. Geppetto introduces complementary techniques for reducing prover overhead and increasing prover flexibility...

CoVaC
 Referenced in 7 articles
[sw21472]
 compilers. To leverage existing program analysis techniques, we reduce the equivalence checking problem to analysis...

Privtrans
 Referenced in 4 articles
[sw23074]
 analysis with dynamic information. Our optimization techniques reduce the number of expensive calls made...

RLTPOS
 Referenced in 3 articles
[sw18321]
 including constraint filtering techniques, reduced RLT representations, and semidefinite cuts. When implemented individually, each model ... However, the coordination between different model enhancement techniques becomes critical for an improved overall performance ... between (1) constraint elimination via filtering techniques and reduced RLT representations, and (2) semidefinite cuts...

INTOPT_90
 Referenced in 304 articles
[sw04705]
 authors own results and it provides techniques to transform linear interval equations into ones which ... these values can be used to reduce the overestimation...

FEAST
 Referenced in 78 articles
[sw04025]
 densitymatrix representation and contour integration technique in quantum mechanics. It is free from explicit ... with multiple righthand sides and one reduced eigenvalue problem orders of magnitude smaller than...