• # Z

• Referenced in 279 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 439 articles [sw04013]
• solve phases (uniprocessor version also available); Iterative refinement and backward error analysis; Various matrix input...
• # UG

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

• Referenced in 100 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...
• # TetGen

• Referenced in 158 articles [sw04046]
• recovering constraints, and a new constrained Delaunay refinement algorithm for adaptive quality tetrahedral mesh generation...