• 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 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 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 hard-coded (in function mft_tolerance...
  • SCCP

  • Referenced in 72 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 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 finite-sample ... computationally efficient algorithm, with provable numerical convergence properties, for optimizing the penalized likelihood. Furthermore...
  • MUSCOP

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

  • Referenced in 10 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 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 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...
  • gsum

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