
Anderson
 Referenced in 89 articles
[sw15192]
 Anderson Acceleration for FixedPoint Iterations. This paper concerns an acceleration method for fixedpoint...

SQUAREM
 Referenced in 14 articles
[sw12282]
 SQUAREM: Squared extrapolation methods for accelerating fixedpoint iterations. Algorithms for accelerating the convergence...

SuperMann
 Referenced in 11 articles
[sw36949]
 arising in various control fields. Being fixedpoint iterations of nonexpansive operators, such methods suffer...

ParILUT
 Referenced in 5 articles
[sw34961]
 algorithm is based on interleaving parallel fixedpoint iterations that approximate the incomplete factors...

FPC
 Referenced in 2 articles
[sw20468]
 solved with a globallyconvergent fixedpoint iteration scheme. In addition, qlinear rates ... obtain good practical performance, the basic fixedpoint iterations should be augmented with a continuation ... starting point for the next μ value. Thus, FixedPoint 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 fixedpoint iterations. Some tests are performed to validate...

FPC_AS
 Referenced in 68 articles
[sw12218]
 fixedpoint continuation and active set) is a MATLAB solver for the l1regularized least ... first stage a firstorder iterative “shrinkage” method yields an estimate of the subset...

JACK
 Referenced in 5 articles
[sw30937]
 synchronous iterative methods. A mathematical and algorithmic framework about fixedpoint methods is described...

RoutingLib
 Referenced in 2 articles
[sw28638]
 Agda formalization of Üresin & Dubois’ asynchronous fixedpoint 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 fixedpoint method to solve the nonlinear system ... GRT3D has four executable modules: SIA1D: Sequential Iterative Approach for 1D domains, GDAE1D: Global...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: 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...

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

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