-
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...
-
EdgePack
- Referenced in 28 articles
[sw00229]
- A new and simple method is proposed to...
-
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...