
Z
 Referenced in 270 articles
[sw10291]
 Using Z. Specification, refinement, and proof. The book is an indepth introduction ... integration of $Z$ with the refinement calculus and data refinement. The overall presentation is fluent...

deal.ii
 Referenced in 419 articles
[sw03516]
 details of grid handling and refinement, handling of degrees of freedom, input of meshes...

ScaLAPACK
 Referenced in 388 articles
[sw00830]
 systems of equations, condition estimation and iterative refinement, for LU and Cholesky factorization, matrix inversion...

MUMPS
 Referenced in 354 articles
[sw04013]
 solve phases (uniprocessor version also available); Iterative refinement and backward error analysis; Various matrix input...

XFEM
 Referenced in 313 articles
[sw01026]
 hundreds of cracks with local neartip refinement, and crack propagation in two dimensions...

Mfree2D
 Referenced in 275 articles
[sw15725]
 discretisation is fully automatic. Adaptive refinement techniques are implemented to ensure the results...

DDEBIFTOOL
 Referenced in 270 articles
[sw02396]
 computed using piecewise polynomial collocation on adaptively refined meshes...

UG
 Referenced in 183 articles
[sw04596]
 especially interested in adaptive local grid refinement on unstructured meshes, multigrid solvers and parallelization techniques ... this. Firstly, the multigrid solution and adaptive refinement for many engineering applications are still...

Gerris
 Referenced in 235 articles
[sw00341]
 linear shallowwater equations Adaptive mesh refinement: the resolution is adapted dynamically to the features...

PSIBLAST
 Referenced in 213 articles
[sw17324]
 variety of definitional, algorithmic and statistical refinements described here permits the execution time...

SuperLU
 Referenced in 150 articles
[sw00930]
 separate from the factorization. Working precision iterative refinement subroutines are provided for improved backward stability ... error, and estimate error bounds for the refined solutions...

PLTMG
 Referenced in 206 articles
[sw00717]
 options for adaptive h, p, and hp refinement, coarsening, and mesh moving. PLTMG employes several...

JML
 Referenced in 185 articles
[sw04597]
 specification languages, with some elements of the refinement calculus...

ALBERTA
 Referenced in 163 articles
[sw01061]
 Adaptive multiLevel finite element toolbox using Bisectioning refinement and Error control by Residual Techniques...

PARAMESH
 Referenced in 95 articles
[sw00677]
 PARAMESH: A parallel adaptive mesh refinement community toolkit. In this paper we describe a community ... into a parallel code with adaptive mesh refinement. Alternatively, in its simplest use, and with ... their code, converting it first to uniformly refined parallel code, and then later if they...

PROST
 Referenced in 142 articles
[sw12822]
 mechanism. The lack of convergence with spatial refinement, or convergence to a solution that...

Circus
 Referenced in 87 articles
[sw21828]
 Circus. Circus is a concurrent language for refinement; it is a unification of imperative ... refinement calculus. We describe the language of Circus and the formalisation of its model...

CLAWPACK
 Referenced in 118 articles
[sw01069]
 propagating into the neighboring cells. Adaptive mesh refinement is included, see amrclaw. Recent extensions allow...

libMesh
 Referenced in 114 articles
[sw06657]
 provide support for adaptive mesh refinement (AMR) computations in parallel while allowing a research scientist...

SuperLUDIST
 Referenced in 77 articles
[sw00002]
 separate from the factorization. Working precision iterative refinement subroutines are provided for improved backward stability ... error, and estimate error bounds for the refined solutions...