• Anderson

  • Referenced in 89 articles [sw15192]
  • Anderson Acceleration for Fixed-Point Iterations. This paper concerns an acceleration method for fixed-point...
  • SQUAREM

  • Referenced in 14 articles [sw12282]
  • SQUAREM: Squared extrapolation methods for accelerating fixed-point iterations. Algorithms for accelerating the convergence...
  • SuperMann

  • Referenced in 11 articles [sw36949]
  • arising in various control fields. Being fixed-point iterations of nonexpansive operators, such methods suffer...
  • ParILUT

  • Referenced in 5 articles [sw34961]
  • algorithm is based on interleaving parallel fixed-point iterations that approximate the incomplete factors...
  • FPC

  • Referenced in 2 articles [sw20468]
  • solved with a globally-convergent fixed-point iteration scheme. In addition, q-linear rates ... obtain good practical performance, the basic fixed-point iterations should be augmented with a continuation ... starting point for the next μ value. Thus, Fixed-Point Continuation...
  • ADVENTURE_Coupler

  • Referenced in 3 articles [sw12181]
  • used. This system adopts an efficient preconditioned iterative linear algebraic solver. A parallel coupling tool ... attain robust and fast convergence of fixed-point iterations. Some tests are performed to validate...
  • FPC_AS

  • Referenced in 68 articles [sw12218]
  • fixed-point continuation and active set) is a MATLAB solver for the l1-regularized least ... first stage a first-order iterative “shrinkage” method yields an estimate of the subset...
  • JACK

  • Referenced in 5 articles [sw30937]
  • synchronous iterative methods. A mathematical and algorithmic framework about fixed-point methods is described...
  • RoutingLib

  • Referenced in 2 articles [sw28638]
  • Agda formalization of Üresin & Dubois’ asynchronous fixed-point theory. In this paper we describe ... That paper investigates a large class of iterative algorithms that can be transformed into asynchronous...
  • GRT3D

  • Referenced in 1 article [sw31182]
  • algorithm. The approach SIA uses a fixed-point method to solve the nonlinear system ... GRT3D has four executable modules: SIA1D: Sequential Iterative Approach for 1D domains, GDAE1D: Global...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ARfit

  • Referenced in 38 articles [sw00046]
  • ARfit is a collection of Matlab modules for...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gmsh

  • Referenced in 720 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • INTLIB

  • Referenced in 29 articles [sw00444]
  • Algorithm 737: INTLIB - a portable Fortran 77 interval...