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

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

UG
 Referenced in 165 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...

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

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

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

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

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

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

SuperLU
 Referenced in 85 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...

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

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

PARAMESH
 Referenced in 66 articles
[sw00677]
 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...

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

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

SuperLUDIST
 Referenced in 58 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...

ALBERT
 Referenced in 73 articles
[sw00025]
 based on the natural hierarchy of locally refined meshes and an abstract concept of general...

LEGO
 Referenced in 62 articles
[sw09685]
 natural deduction style. It supports refinement proof as a basic operation. The system design emphasizes...

AMRCLAW
 Referenced in 44 articles
[sw15478]
 Adaptive mesh refinement using wavepropagation algorithms for hyperbolic systems. The authors present a generalisation ... adaptive mesh refinement algorithm developed for the Euler equations of gas dynamics to employ high...

MAGIC
 Referenced in 35 articles
[sw14159]
 accuracy and scalability by an iterative abstraction refinement methodology. This paper presents the core principles ... specification conformance using simulation and abstraction refinement. Viewing counterexamples as winning strategies in a simulation ... describe an algorithm where abstractions are refined on the basis of multiple winning strategies simultaneously ... refinement process is iterated until either a conformance with the specification is established...