• # Z

• Referenced in 255 articles [sw10291]
• Using Z. Specification, refinement, and proof. The book is an in-depth introduction ... integration of $Z$ with the refinement calculus and data refinement. The overall presentation is fluent...
• # MUMPS

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

• Referenced in 178 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...
• # SuperLU

• Referenced in 118 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...
• # Circus

• Referenced in 83 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...
• # PARAMESH

• Referenced in 79 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...
• # SuperLU-DIST

• Referenced in 64 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...