
MUMPS
 Referenced in 502 articles
[sw04013]
 complex arithmetic; Parallel factorization and solve phases (uniprocessor version also available); Iterative refinement and backward...

SPGL1
 Referenced in 196 articles
[sw08365]
 those that are in the complex domain. At each iteration, a spectral gradientprojection method...

BADMM
 Referenced in 32 articles
[sw20288]
 global convergence and the O(1/T) iteration complexity for BADMM. In some cases, BADMM...

GADMM
 Referenced in 28 articles
[sw12640]
 convergence rate measured by the iteration complexity k represents the iteration counter) in both...

PARDISO
 Referenced in 286 articles
[sw00679]
 structurally symmetric or symmetric systems, real or complex, positive definite or indefinite, hermitian. LU with ... Cluster of SMPs. Automatic combination of iterative and direct solver algorithms to accelerate the solution...

Wirtinger Flow
 Referenced in 110 articles
[sw34175]
 measurements; specifically, we wish to reconstruct a complexvalued signal x of C^n about ... estimate by iteratively applying novel update rules, which have low computational complexity, much like ... random measurements. Indeed, the sequence of successive iterates provably converges to the solution...

MiKM
 Referenced in 13 articles
[sw30272]
 also establish global pointwise and ergodic iteration complexity bounds of the Krasnosel’skiǐMann algorithm...

DiSCO
 Referenced in 12 articles
[sw28439]
 conjugate gradient method. We analyze its iteration complexity and communication efficiency for minimizing selfconcordant...

FMS
 Referenced in 10 articles
[sw31728]
 lower computational complexity than existing methods. We prove convergence of the FMS iterates ... this model, we show that the iteration complexity is globally bounded and locally rlinear...

ELAN
 Referenced in 108 articles
[sw02179]
 strategy language offers primitives for sequential composition, iteration, deterministic and nondeterministic choices of elementary ... labelled rules. From these primitives, more complex strategies can be expressed. In addition the user...

MUDPACK
 Referenced in 31 articles
[sw00601]
 subprograms which use multigrid iteration for solving real or complex elliptic partial differential equations...

Fastcap
 Referenced in 29 articles
[sw08926]
 approximation to compute the iterates. This combination reduces the complexity so that accurate multiconductor capacitance ... five to ten times faster than the iterative method alone, depending on required accuracy...

ScaLAPACK
 Referenced in 417 articles
[sw00830]
 linear systems of equations, condition estimation and iterative refinement, for LU and Cholesky factorization, matrix ... precision real, double precision real, single precision complex, and double precision complex. The software...

ASKALON
 Referenced in 17 articles
[sw08430]
 distributed applications is a complex task that iterates through various phases, ranging from modeling...

KeYmaera
 Referenced in 44 articles
[sw03709]
 complexity of real arithmetic, we integrate real quantifier elimination following an iterative background closure strategy...

Ynot
 Referenced in 35 articles
[sw12334]
 order (effectful) iterator. The implementations range from simple (e.g., association lists) to complex (e.g., hash...

BEDFix
 Referenced in 9 articles
[sw04469]
 with significantly better performance than the simple iteration method, when the Lipschitz constant is less ... equal to 1, whereas the complexity of simple iteration approaches infinity as the minimum Lipschitz ... compute absolute criterion solutions, the worstcase complexity depends on the logarithm of the reciprocal...

MoDeST
 Referenced in 32 articles
[sw01544]
 iteration, alternatives, atomic statements, and exception handling  with means to describe complex systems...

AGMG
 Referenced in 40 articles
[sw08090]
 Iterative solution with AGgregationbased algebraic MultiGrid. AGMG implements an aggregationbased algebraic multigrid method ... fashion). The Matlab version accepts real and complex matrices, whereas the Fortran version is available...

FacetNet
 Referenced in 16 articles
[sw20426]
 Then we develop an iterative algorithm, with proven low time complexity, which is guaranteed...