
libMesh
 Referenced in 139 articles
[sw06657]
 libMesh library provides a framework for the numerical simulation of partial differential equations using arbitrary ... provide support for adaptive mesh refinement (AMR) computations in parallel while allowing a research scientist ... types. The library makes use of highquality, existing software whenever possible. PETSc is used...

HSL_MI28
 Referenced in 13 articles
[sw13376]
 amount of memory used in its computation are under the user’s control. The performance ... MI28 is demonstrated using extensive numerical experiments involving a large set of test problems arising ... wide range of realworld applications. The numerical experiments are used to isolate the effects ... results demonstrate that, with limited memory, highquality yet sparse generalpurpose preconditioners are obtained...

DibaP
 Referenced in 14 articles
[sw08343]
 diffusionbased multilevel algorithm for computing graph partitions. Graph partitioning requires the division ... some objective function is optimized. Highquality partitions are important for many applications, whose objective ... load balancer in parallel numerical applications therefore requires complicated adaptations. That is why we developed ... Distributed Processing Symposium, IPDPS’06, IEEE Computer Society, 2006, p. 57 (CD)], which optimizes partition...

GCPM
 Referenced in 1 article
[sw09197]
 computational physics are reported: (1) A genral Package for the symbolic and numerical transformation ... package allowing highquality twodimensional of mathematical formulas from the computeralgebra system REDUCE...

RLFI
 Referenced in 1 article
[sw09198]
 computational physics are reported: (1) A genral Package for the symbolic and numerical transformation ... package allowing highquality twodimensional of mathematical formulas from the computeralgebra system REDUCE...

ACL2
 Referenced in 277 articles
[sw00060]
 ACL2 is both a programming language in which...

PADRE2
 Referenced in 13 articles
[sw00667]
 PADRE2, a Fortran precompiler yielding error estimates and...

RANLUX
 Referenced in 55 articles
[sw00778]
 RANLUX: a Fortran implementation of the highquality...

Spec#
 Referenced in 120 articles
[sw04598]
 The Spec# programming system is a new attempt...

COINOR
 Referenced in 98 articles
[sw04615]
 The Computational Infrastructure for Operations Research (COINOR...

CFSQP
 Referenced in 61 articles
[sw04658]
 CFSQP Version 2.5: A C Code for Solving...

CirCut
 Referenced in 42 articles
[sw04782]
 Ranktwo relaxation heuristics for MAXCUT and...

LAMMPI
 Referenced in 52 articles
[sw04971]
 LAM/MPI is a highquality opensource implementation...

MONA
 Referenced in 118 articles
[sw06170]
 MONA implementation secrets. The MONA tool provides an...

Qsplat
 Referenced in 33 articles
[sw07699]
 The QSplat Multiresolution Point Rendering System. QSplat is...

Triangle
 Referenced in 342 articles
[sw07890]
 Triangle: A TwoDimensional Quality Mesh Generator and...

Blendenpik
 Referenced in 35 articles
[sw09210]
 Blendenpik: supercharging Lapack’s leastsquares solver. Several...

FEtk
 Referenced in 6 articles
[sw10502]
 The Finite Element ToolKit (FETK) is a collaboratively...

ElTopo
 Referenced in 12 articles
[sw13557]
 El Topo: Robust Topological Operations for Dynamic Explicit...

EdgeCS
 Referenced in 11 articles
[sw14134]
 Edge guided reconstruction for compressive imaging. We propose...