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

SymmExtractor
 Referenced in 2 articles
[sw07637]
 Automatic symmetry detection for Promela We introduce a specification language, PromelaLite, which captures ... semantics. We show how we can detect symmetry in specifications defined in Promelalite ... 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 8fold symmetry, which we detect solely from their sequences. This symmetry...

FindAlmostSymmetry
 Referenced in 1 article
[sw31759]
 Detecting almost symmetries of graphs. We present a branchandbound 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]
 atomatom interaction potential; 5) fast collision detection using kdiscrete 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 symmetrybreaking predicate that allows for the parallel ... tool can uncover bugs that cannot be detected by stateoftheart 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 objectoriented library of...

CASA
 Referenced in 88 articles
[sw00108]
 CASA is a specialpurpose 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...