• Kodkod

  • Referenced in 23 articles [sw07090]
  • specifying partial solutions, an effective symmetry detection and breaking scheme, and an economical translation from ... addressed with three new techniques: a symmetry detection algorithm that works in the presence...
  • MathTensor

  • Referenced in 20 articles [sw09364]
  • large systems of equations and for detecting symmetries in tensor structures. The author addresses problems...
  • micrOMEGAs

  • Referenced in 57 articles [sw01425]
  • indirect detection rates of dark matter. It is assumed that a discrete symmetry like ... candidate at zero velocity, relevant for indirect detection of dark matter, are also computed automatically...
  • Muntingh

  • Referenced in 5 articles [sw19372]
  • symmetric pseudo-splines of any arity, Symmetry detection of rational space curves from their curvature ... Detecting similarity of plane rational Curves, Detecting symmetries of rational plane and space curves...
  • GAPS

  • Referenced in 13 articles [sw02613]
  • point symmetry-based distance measure. The algorithm is therefore able to detect both convex ... with Point Symmetry (GAPS) distance based clustering algorithm is able to detect any type ... long as they possess the characteristic of symmetry. GAPS is compared with existing symmetry-based...
  • SymmExtractor

  • Referenced in 2 articles [sw07637]
  • Automatic symmetry detection for Promela We introduce a specification language, Promela-Lite, which captures ... semantics. We show how we can detect symmetry in specifications defined in Promela-lite ... introduce a tool, SymmExtractor, for automatically detecting symmetries of Promela specifications. We demonstrate the effectiveness...
  • Shatter

  • Referenced in 5 articles [sw21225]
  • blame. A theoretical framework for detecting and breaking such symmetries was introduced in [2]. This...
  • HHrep

  • Referenced in 3 articles [sw22482]
  • whose repeats could as yet only be detected from their structures. Examples include sequences with ... clear 4- and 8-fold symmetry, which we detect solely from their sequences. This symmetry...
  • FindAlmostSymmetry

  • Referenced in 1 article [sw31759]
  • Detecting almost symmetries of graphs. We present a branch-and-bound framework to solve...
  • ScannerS

  • Referenced in 0 articles [sw23350]
  • routines to: test tree level unitarity; detect symmetries for the mixing matrix; detect flat directions...
  • SCWRL4

  • Referenced in 7 articles [sw22393]
  • atom-atom interaction potential; 5) fast collision detection using k-discrete oriented polytopes ... interaction graph within the crystal environment using symmetry operators of the crystallographic space group. Accuracies...
  • TACO

  • Referenced in 5 articles [sw07668]
  • structures. We instrument code analysis with a symmetry-breaking predicate that allows for the parallel ... tool can uncover bugs that cannot be detected by state-of-the-art tools based...
  • ANSYS

  • Referenced in 641 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 304 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BPOLY

  • Referenced in 13 articles [sw00089]
  • Algorithm 812: BPOLY: An object-oriented library of...
  • CASA

  • Referenced in 88 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CLUCalc

  • Referenced in 31 articles [sw00133]
  • CLUCalc is a freely available software tool for...
  • DEA

  • Referenced in 239 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • GAP

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GAUSS

  • Referenced in 114 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...