• FORCE

  • Referenced in 9 articles [sw09016]
  • FORCE: a fast and easy-to-implement variable-ordering heuristic. The MINCE heuristic for variable ... authors used a pre-existing min-cut 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...
  • GeoSMA-3D

  • 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 search-space of the SAT solver ... combination relative to finite brute-force search. (new: MathCheck2: A SAT+CAS Verifier for Combinatorial...
  • Minlog

  • Referenced in 2 articles [sw30424]
  • implements a decision procedure based on a cut-free 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 high-level language and interactive...
  • nauty

  • Referenced in 625 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...