
QEPCAD
 Referenced in 263 articles
[sw00752]
 CADs. QEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due orginally...

SnapPea
 Referenced in 138 articles
[sw06873]
 find effective ways of eliminating a large number of gluings which could not possibly yield...

PROST
 Referenced in 129 articles
[sw12822]
 force due to surface tension, which effectively eliminates spurious currents. We call this algorithm PROST...

PORTA
 Referenced in 107 articles
[sw04869]
 this, ’traf’ uses a Fourier  Motzkin elimination algorithm which projects a linear system on subspaces...

MADM
 Referenced in 100 articles
[sw06484]
 Preference Ranking METHod for Enrichment Evaluations (PROMETHEE), ELimination Et Choix Traduisant la RealitÃ© (ELECTRE), COmplex...

ILUM
 Referenced in 60 articles
[sw07244]
 ILUM: A multielimination ILU preconditioner for general sparse matrices Standard preconditioning techniques based ... multifrontal version of a Gaussian elimination procedure with threshold dropping which has a high degree...

COLROW
 Referenced in 58 articles
[sw08055]
 Systems by Modified Alternate Row and Column Elimination...

YSMP
 Referenced in 56 articles
[sw17947]
 release features direct methods based on Gaussian elimination without pivoting, and is described in Section...

iProver
 Referenced in 37 articles
[sw09707]
 implementation techniques such as indexing, redundancy elimination, semantic selection and saturation algorithms. Redundancy elimination implemented...

Armadillo
 Referenced in 51 articles
[sw05863]
 several operations into one and reduce or eliminate the need for temporaries...

BILUM
 Referenced in 47 articles
[sw04015]
 block independent set ordering and multielimination techniques. At each level, a block independent...

RcppArmadillo
 Referenced in 44 articles
[sw09313]
 operations into one, and to reduce (or eliminate) the need for temporaries. This is accomplished...

TAUCS
 Referenced in 29 articles
[sw04014]
 factor the resulting matrix completely. Instead, they eliminate rows and columns which can be eliminated...

SuiteSparseQR
 Referenced in 27 articles
[sw07348]
 symbolic analysis and ordering phase preeliminates singletons by permuting the input matrix A into ... tolerance. Next, the fillreducing ordering, column elimination tree, and frontal matrix structures are found...

Epsilon
 Referenced in 36 articles
[sw00244]
 implemented in Maple and Java for polynomial elimination and decomposition with (geometric) applications...

DISCOVERER
 Referenced in 36 articles
[sw07719]
 equations and polynomial inequalities. Algorithms for quantifier elimination of real closed fields are the general...

Bloqqer
 Referenced in 22 articles
[sw09578]
 Blocked clause elimination for QBF. Quantified Boolean formulas (QBF) provide a powerful framework for encoding ... methods for QBF based on blocked clause elimination (BCE), a technique successfully applied ... Quantified blocked clause elimination (QBCE) allows to simulate various structural preprocessing techniques...

SACLIB
 Referenced in 25 articles
[sw00823]
 also forms the basis of the quantifier elimination systems QEPCAD [5] and QEPCAD ... same routines are also used in quantifier elimination. While runtimetools such as Valgrind...

UnitWalk
 Referenced in 34 articles
[sw00993]
 GSAT and WalkSAT) and unit clause elimination (which is rarely used in local search algorithms...

SQEMA
 Referenced in 34 articles
[sw03056]
 result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula...