
FORCE
 Referenced in 9 articles
[sw09016]
 FORCE: a fast and easytoimplement variableordering heuristic. The MINCE heuristic for variable ... authors used a preexisting mincut placer [6] that is several times larger than ... this work we propose a replacement heuristic, FORCE which is easy to implement from scratch...

AdvantEdge
 Referenced in 3 articles
[sw30177]
 product used to understand the metal cutting process. AdvantEdge features a full suite for analysis ... including chip formation, temperature and stresses and forces on the tool and workpiece. The software ... built into the program specifically for metal cutting, which allows for confident decision making without...

GeoSMA3D
 Referenced in 2 articles
[sw19569]
 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...

MathCheck
 Referenced in 13 articles
[sw13642]
 that the CAS system can help cut down the searchspace of the SAT solver ... combination relative to finite bruteforce search. (new: MathCheck2: A SAT+CAS Verifier for Combinatorial...

Minlog
 Referenced in 2 articles
[sw30424]
 implements a decision procedure based on a cutfree sequent calculus formulation of these systems ... represents what can be done by brute force rather than intelligence. The decision problem...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

Gerris
 Referenced in 354 articles
[sw00341]
 Gerris is a Free Software program for the...

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

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

LAPACK
 Referenced in 1713 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 264 articles
[sw00509]
 In the core computer science areas  data structures...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

nauty
 Referenced in 625 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

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