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

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

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

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

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

ILUM
 Referenced in 61 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...

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

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

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

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

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

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

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

Bloqqer
 Referenced in 26 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...

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

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

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

KeYmaera
 Referenced in 38 articles
[sw03709]
 real arithmetic, we integrate real quantifier elimination following an iterative background closure strategy. Our tool...

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

ARCELO
 Referenced in 37 articles
[sw18782]
 Systems by Modified Alternate Row and Column Elimination...