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

BILUM
 Referenced in 50 articles
[sw04015]
 algorithms implemented by BILUM are based on the block independent set ordering and multielimination...

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 nonHermitian 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 nontrivial case...

RCCFULL
 Referenced in 3 articles
[sw02955]
 Costoptimal Gaussian elimination algorithm on RCCFULL. This paper presents a costoptimal parallel ... strategy of the sequential Gaussian elimination algorithm. The algorithm utilizes strength of the RCCFULL...

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