• 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...
  • 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...