• QEPCAD

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

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

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

  • Referenced in 108 articles [sw04869]
  • this, ’traf’ uses a Fourier - Motzkin elimination algorithm which projects a linear system on subspaces...
  • MADM

  • Referenced in 103 articles [sw06484]
  • Preference Ranking METHod for Enrichment Evaluations (PROMETHEE), ELimination Et Choix Traduisant la Realité (ELECTRE), COmplex...
  • ILUM

  • Referenced in 61 articles [sw07244]
  • ILUM: A multi-elimination 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 57 articles [sw17947]
  • release features direct methods based on Gaussian elimination without pivoting, and is described in Section...
  • iProver

  • Referenced in 38 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 multi-elimination techniques. At each level, a block independent...
  • RcppArmadillo

  • Referenced in 47 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 pre-eliminates singletons by permuting the input matrix A into ... tolerance. Next, the fill-reducing ordering, column elimination tree, and frontal matrix structures are found...
  • Bloqqer

  • Referenced in 23 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 37 articles [sw07719]
  • equations and polynomial inequalities. Algorithms for quantifier elimination of real closed fields are the general...
  • Epsilon

  • Referenced in 36 articles [sw00244]
  • implemented in Maple and Java for polynomial elimination and decomposition with (geometric) applications...
  • 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 runtime-tools 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...