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

GeoSMA3D
 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, GeoSMA3D (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 highlevel language and interactive...

NetworkX
 Referenced in 119 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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 threadsafe, high...

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