
MESHPART
 Referenced in 57 articles
[sw04178]
 several graph and mesh partitioning methods, including geometric, spectral, geometric spectral, and coordinate bisection...

G+Smo
 Referenced in 48 articles
[sw14372]
 library that brings together mathematical tools for geometric design and numerical simulation. It is developed ... ease of use. The library is partitioned into smaller entities, called modules. Examples of available...

NURBS
 Referenced in 26 articles
[sw02633]
 details (without loss of accuracy). Finally, a geometrically implicit/explicit approach is proposed for efficiency purpose ... thanks to the flexibility given by the Partition of Unity, it is possible to recover...

GniCodes
 Referenced in 9 articles
[sw21086]
 Hairer, C. Lubich and G. Wanner [Geometric numerical integration. Structurepreserving algorithms for ordinary differential ... Section 2 simple symplectic and symmetric integrators, (partitioned) RungeKutta methods, composition and splitting methods ... symmetry. The improved performance of such geometric integrators is best understood with the help...

Dendro
 Referenced in 7 articles
[sw29068]
 balancing module, a meshing module, a geometric multiplicative multigrid module, and a module for adaptive ... scalar and vector fields, and parallel partition of multilevel octree forests. We describe a bottom...

NuscaS
 Referenced in 2 articles
[sw09857]
 geometric multigrid as a preconditioner.par For the mesh adaptation, the 8tetrahedra longestedge partition...

csat
 Referenced in 8 articles
[sw00168]
 deletion of redundant lemmas and the dynamic partitioning of search trees, while the workers ... times faster than MiniSat using 31 PEs (geometric mean; at least 31 times for satisfiable...

GraphSET
 Referenced in 1 article
[sw09795]
 several variants of simultaneous embedding including simultaneous geometric embedding, simultaneous embedding with fixed edges ... colored simultaneous embedding with the vertex set partitioned into color classes. The tool...

SPeeDI
 Referenced in 8 articles
[sw00896]
 existence of a finite and computable partition of the state space into classes of states ... that they pay little attention to the geometric properties of the specific (class of) systems...

ADOLC
 Referenced in 257 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 713 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ARMS
 Referenced in 68 articles
[sw00048]
 ARMS: an algebraic recursive multilevel solver for general...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

BARON
 Referenced in 361 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BoomerAMG
 Referenced in 200 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

cdd
 Referenced in 119 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...