• PORTA

  • Referenced in 127 articles [sw04869]
  • abbreviation for POlyhedron Representation Transformation Algorithm and points to the basic function ’traf’. This function ... this, ’traf’ uses a Fourier - Motzkin elimination algorithm which projects a linear system on subspaces...
  • PROST

  • Referenced in 168 articles [sw12822]
  • present in all previous versions of VOF algorithms. In this paper, we develop an accurate ... surface tension, which effectively eliminates spurious currents. We call this algorithm PROST: parabolic reconstruction...
  • COLROW

  • Referenced in 66 articles [sw08055]
  • Algorithm 603: COLROW and ARCECO: FORTRAN Packages for Solving Certain Almost Block Diagonal Linear Systems ... Modified Alternate Row and Column Elimination...
  • iProver

  • Referenced in 56 articles [sw09707]
  • redundancy elimination, semantic selection and saturation algorithms. Redundancy elimination implemented in iProver include: dismatching constraints...
  • ARCELO

  • Referenced in 41 articles [sw18782]
  • Algorithm 603: COLROW and ARCECO: FORTRAN Packages for Solving Certain Almost Block Diagonal Linear Systems ... Modified Alternate Row and Column Elimination...
  • DISCOVERER

  • Referenced in 58 articles [sw07719]
  • polynomial equations and polynomial inequalities. Algorithms for quantifier elimination of real closed fields ... invented new theories and algorithms [32,30,35] for SAS solving and partly implemented them...
  • BLAD

  • Referenced in 20 articles [sw08612]
  • introduces two implementations of the differential elimination algorithms: the diffalg package, which is embedded ... BLAD libraries are designed to provide differential elimination for scientific software independent of any computer...
  • Fastcap

  • Referenced in 30 articles [sw08926]
  • authors present a generalized conjugate residual iterative algorithm with a multipole approximation to compute ... nearly 500 times faster than Gaussian-elimination-based algorithms, and five to ten times faster...
  • UnitWalk

  • Referenced in 36 articles [sw00993]
  • unit clause elimination (which is rarely used in local search algorithms). In this paper...
  • DifferentialAlgebra

  • Referenced in 11 articles [sw13540]
  • DifferentialAlgebra package implements algebraic and differential elimination algorithms which are key for simplifying systems ... system so that it can be solved eliminating one variable at a time, simplifying...
  • Hypertool

  • Referenced in 29 articles [sw08911]
  • automatically, thereby increasing productivity and eliminating synchronization errors. Two algorithms, based on the critical-path...
  • BILUM

  • Referenced in 50 articles [sw04015]
  • algorithms implemented by BILUM are based on the block independent set ordering and multi-elimination...
  • PASS

  • Referenced in 8 articles [sw21858]
  • present an efficient and sound quantifier elimination algorithm. In addition, we use an automaton model...
  • NiVER

  • Referenced in 19 articles [sw06958]
  • instances. The original algorithm for the SAT problem, Variable Elimination Resolution, has exponential space complexity...
  • LINCS

  • Referenced in 26 articles [sw08880]
  • molecular simulations with bond constraints. The algorithm is inherently stable, as the constraints themselves ... constraints, thereby eliminating drift. Although the derivation of the algorithm is presented in terms...
  • Chebfun2

  • Referenced in 41 articles [sw12708]
  • iterative algorithm that is, in a sense, equivalent to the Gaussian elimination with full pivoting...
  • Algorithm 922

  • Referenced in 38 articles [sw12858]
  • Algorithm 922: A mixed finite element method for Helmholtz transmission eigenvalues. Transmission eigenvalue problem ... eliminated. To solve the resulting non-Hermitian eigenvalue problem, an iterative algorithm using restarted Arnoldi...
  • CASPA

  • Referenced in 4 articles [sw02863]
  • efficient symbolic elimination algorithm for the stochastic process algebra tool CASPA. CASPA is a stochastic ... present an efficient symbolic algorithm for the elimination of vanishing states. A non-trivial case...
  • RCC-FULL

  • Referenced in 3 articles [sw02955]
  • Cost-optimal Gaussian elimination algorithm on RCC-FULL. This paper presents a cost-optimal parallel ... strategy of the sequential Gaussian elimination algorithm. The algorithm utilizes strength of the RCC-FULL...
  • CDiffElim

  • Referenced in 3 articles [sw09251]
  • CDiffElim environment, written in C, and an algorithm developed in this environment for simplifying systems ... partial differential equations by using differentiation and elimination. This environment has strategies ... addressing difficulties encountered in differential elimination algorithms, such as exhaustion of computer memory ... that are tailored for efficient differential elimination algorithms. These strategies, which are coded...