• 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 parallel-in-time scheme known as multigrid reduction in time ... First, we present a two-level 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 hard-coded (in function mft_tolerance...
  • SCCP

  • Referenced in 77 articles [sw03318]
  • Convergence of a non-interior 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 kappa-theory and develop reliable a-posteriori kappa-estimators. 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 finite-sample ... 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]
  • Knuth-Bendix 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 ground-convergent, 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 well-known WZ theory given by Wilf and Zeilberger using ideas which ... Markov and were used for convergence-acceleration of infinite series already in 1890. It turns...