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

YAPA
 Referenced in 18 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 9 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 37 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 470 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 72 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 285 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...

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

MUSCOP
 Referenced in 6 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...

Slothrop
 Referenced in 10 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 2 articles
[sw26832]
 Castle and Trosset. For stochastic problems, convergence theory exists for the particular algorithmic choices...

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

NDSPMHD
 Referenced in 42 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...

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

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

BEAM189
 Referenced in 45 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...

3dsch
 Referenced in 2 articles
[sw10331]
 imaginary time evolution operator which improves the convergence rate by one to two orders ... present the theory behind the method and strategies for assessing convergence and accuracy.Our code requires...

Libunfold
 Referenced in 1 article
[sw32656]
 formula and provide proof of convergence in a probability theory context. Furthermore, we provide formulae...

MarkovWZ
 Referenced in 5 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...

gsum
 Referenced in 1 article
[sw28294]
 analyze the convergence pattern of Effective Field Theory (EFT) observables. Specifically, this is a conjugacy...