• 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 phase-field formulation to approximate this geometric problem, and study its Gamma-limsup convergence ... framework leads to a wide continuum of shape textures. This first step towards a unifying ... designing bio-mimetic 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 non-overlapping ... programming with MPI-processes and multi-thread 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...

• C-XSC 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 high-level 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 general-purpose functional...

• DUNE

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

• Isabelle/HOL

• Referenced in 1025 articles [sw01569]
• Isabelle is a generic proof assistant. It allows...

• DUNE-FEM

• 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 open-source software tool...