
IMFIL
 Referenced in 42 articles
[sw04814]
 Implicit Filtering describes the algorithm, its convergence theory and a new MATLAB implementation...

YAPA
 Referenced in 19 articles
[sw02739]
 variety of equational theories. However, each theory has its particular algorithm, and none has been ... static equivalence that takes as input any convergent rewrite system. We show that our algorithm ... existing decision procedures for convergent theories. We also provide an efficient implementation, and compare...

MGRIT
 Referenced in 13 articles
[sw30280]
 level convergence theory for multigrid reduction in time (MGRIT). In this paper we develop ... grid convergence theory for the parallelintime scheme known as multigrid reduction in time ... First, we present a twolevel MGRIT convergence analysis for linear problems where the spatial...

alphaCertified
 Referenced in 45 articles
[sw07351]
 systems. Smale’s αtheory uses estimates related to the convergence of Newton’s method ... certify that Newton iterations will converge quadratically to solutions to a square polynomial system ... program alphaCertified implements algorithms based on αtheory to certify solutions of polynomial systems using...

mftoolbox
 Referenced in 535 articles
[sw23743]
 associated with the book Functions of Matrices: Theory and Computation and contains implementations of many ... iteration. For the iterative algorithms a convergence tolerance is hardcoded (in function mft_tolerance...

SCCP
 Referenced in 77 articles
[sw03318]
 Convergence of a noninterior continuation algorithm for the monotone SCCP It is well known ... equations at each iteration. By using the theory of Euclidean Jordan algebras, we show that ... algorithm is globally linearly and locally quadratically convergent under suitable assumptions...

GloptiPoly
 Referenced in 311 articles
[sw04343]
 algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite ... whose associated monotone sequence of optimal values converges to the global optimum...

MUSCOP
 Referenced in 7 articles
[sw06143]
 framework of Bock’s kappatheory and develop reliable aposteriori kappaestimators. Moreover ... inequality constrained problems and provide local convergence theory. In addition we develop a classical ... preconditioner for LISA and prove grid independent convergence of the classical variant for a model...

hgam
 Referenced in 73 articles
[sw11201]
 sparsity and smoothness is crucial for mathematical theory as well as performance for finitesample ... computationally efficient algorithm, with provable numerical convergence properties, for optimizing the penalized likelihood. Furthermore...

Wirtinger Flow
 Referenced in 83 articles
[sw34175]
 Phase Retrieval via Wirtinger Flow: Theory and Algorithms. We study the problem of recovering ... Indeed, the sequence of successive iterates provably converges to the solution at a geometric rate ... terms of computational and data resources. In theory, a variation on this scheme leads...

Slothrop
 Referenced in 11 articles
[sw10019]
 KnuthBendix and path orderings. Consequently, the theories for which completion can possibly yield ... resulting rewrite system is convergent and equivalent to the input theory. Completions are also ... just groundconvergent, but fully convergent. We present an implementation of the new procedure, Slothrop ... which automatically obtains such completions for theories that do not admit path orderings...

QNSTOP
 Referenced in 3 articles
[sw26832]
 Castle and Trosset. For stochastic problems, convergence theory exists for the particular algorithmic choices...

ORB5
 Referenced in 11 articles
[sw10369]
 numerical convergence tests are performed. The code is validated against an analytical theory of zonal...

BLITZ
 Referenced in 5 articles
[sw37121]
 small subproblems, working set methods achieve fast convergence times for many challenging problems. Despite excellent ... data, our theory relates subproblem size to progress toward convergence. This result motivates methods...

Spacer
 Referenced in 11 articles
[sw19496]
 convergence to a proof. We show that for programs and properties over a decidable theory...

NDSPMHD
 Referenced in 45 articles
[sw10435]
 smoothed particle hydrodynamics and magnetohydrodynamics in theory and in practice. Firstly, we give a basic ... number of particles in order to obtain convergence. We also discuss the origin of numerical...

Finito
 Referenced in 15 articles
[sw38276]
 Data Problems. Recent advances in optimization theory have shown that smooth strongly convex finite sums ... method in this class with a theoretical convergence rate four times faster than existing methods...

BEAM189
 Referenced in 48 articles
[sw07447]
 presented based on the inflatable beam theory to model the inflatable structures ... This method gives better convergence characteristics, and requires much less computation time. It is very...

nonlinear_pseudoabscissa
 Referenced in 4 articles
[sw28497]
 eigenvalue perturbation theory. The algorithm has three particular features. First, it converges to the globally...

MarkovWZ
 Referenced in 6 articles
[sw11556]
 generalization of the wellknown WZ theory given by Wilf and Zeilberger using ideas which ... Markov and were used for convergenceacceleration of infinite series already in 1890. It turns...