• AdvantEdge

  • Referenced in 3 articles [sw30177]
  • product used to understand the metal cutting process. AdvantEdge features a full suite for analysis ... forces on the tool and workpiece. The software has a validation process and material models ... built into the program specifically for metal cutting, which allows for confident decision making without...
  • GeoSMA-3D

  • Referenced in 2 articles [sw19569]
  • Application of block theory modeling on spatial block topological identification to rock slope stability analysis ... techniques are applied to distinguish all blocks cut by 3D finite random or fixed discontinuities ... photographic information of rock slopes, the sliding forces and the corresponding factor of safety ... analysis software, GeoSMA-3D (Geotechnical Structure and Model Analysis), satisfying the requirements of spatial block...
  • CGAL

  • Referenced in 362 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FEMLAB

  • Referenced in 56 articles [sw00274]
  • COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...
  • Gerris

  • Referenced in 276 articles [sw00341]
  • Gerris is a Free Software program for the...
  • Gmsh

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

  • Referenced in 617 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1647 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Macaulay2

  • Referenced in 1721 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5168 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6041 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PARAMESH

  • Referenced in 100 articles [sw00677]
  • PARAMESH: A parallel adaptive mesh refinement community toolkit...
  • Paramils

  • Referenced in 72 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • PARDISO

  • Referenced in 272 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • R

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