
ShapeOp
 Referenced in 7 articles
[sw39374]
 dynamic geometry processing, using a unified framework for optimization under constraints. Examples of its applications ... geometric constraints, and physics simulation of elastic materials. It is developed by the Computer Graphics...

Curvatubes
 Referenced in 1 article
[sw41818]
 novel phasefield formulation to approximate this geometric problem, and study its Gammalimsup convergence ... framework leads to a wide continuum of shape textures. This first step towards a unifying ... designing biomimetic scaffolds, but also in computer graphics, materials science, or architecture...

KRYLOV
 Referenced in 2 articles
[sw20840]
 Krylov subspaces. We consider the algebraic and geometric issues of the advanced parallel domain decomposition ... include the balancing decomposition of the grid computational domain into parameterized overlapping or nonoverlapping ... programming with MPIprocesses and multithread computing for the upper and the low levels ... computational technologies of DDMs that are realized within the framework of the library KRYLOV...

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

CXSC 2.0
 Referenced in 127 articles
[sw00182]
 A C++ class library for extended scientific computing...

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

hypre
 Referenced in 334 articles
[sw00426]
 hypre is a software library for the solution...

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

TSPLIB
 Referenced in 711 articles
[sw00983]
 TSPLIB is a library of sample instances for...

SCIP
 Referenced in 554 articles
[sw01091]
 SCIP is currently one of the fastest non...

ML
 Referenced in 524 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

DUNE
 Referenced in 186 articles
[sw01466]
 DUNE, the Distributed and Unified Numerics Environment is...

DUNEFEM
 Referenced in 40 articles
[sw03084]
 A generic interface for parallel and adaptive discretization...

CUDA
 Referenced in 1336 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

SPIN
 Referenced in 727 articles
[sw03455]
 Spin is a popular opensource software tool...