
Magma
 Referenced in 3363 articles
[sw00540]
 supported software package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics ... groups, rings, fields, modules, algebras, schemes, curves, graphs, designs, codes and many others. Magma also ... number of databases designed to aid computational research in those areas of mathematics which...

AutoGraphiX
 Referenced in 142 articles
[sw06137]
 computer system designed to help researchers in graph theory. The main purpose...

CliffMath
 Referenced in 23 articles
[sw04955]
 Operator calculus on graphs. Theory and applications in computer science. This pioneering book presents ... graph theory, and quantum probability in a unified manner, with significant emphasis on symbolic computations...

CliffOC
 Referenced in 20 articles
[sw04957]
 Operator calculus on graphs. Theory and applications in computer science This pioneering book presents ... graph theory, and quantum probability in a unified manner, with significant emphasis on symbolic computations...

MADM
 Referenced in 134 articles
[sw06484]
 Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods ... various realworld application examples. Also, computer codes for AHP, TOPSIS, DEA, PROMETHEE, ELECTRE, COPRAS ... Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods...

Quantomatic
 Referenced in 22 articles
[sw10107]
 Exploring a quantum theory with graph rewriting and computer algebra. It can be useful ... features of Quantomatic that interact with a computer algebra system to discover graphical relationships ... graph, we use this method to discover small identities and use those identities as graph ... rewrites to expand the theory...

BlossomQuad
 Referenced in 17 articles
[sw41267]
 algorithm of the graph theory, namely the Blossom algorithm, that computes the minimumcost perfect...

Graffiti.pc
 Referenced in 16 articles
[sw07152]
 DeLaViña) are computer programs that produce conjectures in graph theory. Pointers to information about ... programs compute combinations of parameters on a database of graphs, mostly conjecturing inequalities. Here...

TADD
 Referenced in 8 articles
[sw02821]
 computed extremal structure. Using a graph theoretical formulation of this theory, we present an algorithmic...

HELAC
 Referenced in 29 articles
[sw09543]
 compute efficiently helicity amplitudes for arbitrary scattering processes within the standard electroweak theory. The algorithm ... equations as compared to the traditional Feynman graph approach. All electroweak vertices are included ... both the unitary and Feynman gauges, and computations including all mass effects are available...

BDgraph
 Referenced in 19 articles
[sw14815]
 absence of edges in the underlying graph. In this paper, we introduce a novel ... theory and computational details of the method. It is easy to implement and computationally feasible ... highdimensional graphs. We show our method outperforms alternative Bayesian approaches in terms of convergence...

StratiGraph
 Referenced in 21 articles
[sw08331]
 software tool StratiGraph for computing and visualizing closure hierarchy graphs associated with different orbit ... presented. In addition, we review the underlying theory and illustrate how StratiGraph can be used...

Coxeter
 Referenced in 23 articles
[sw07827]
 study of combinatorial aspects of Coxeter group theory, particularly those related to the Bruhat ordering ... following : Reduced expression and normal form computations; Bruhat ordering; Ordinary KazhdanLusztig polynomials; KazhdanLusztig ... Inverse KazhdanLusztig polynomials; Cells and Wgraphs...

SpectralNET
 Referenced in 3 articles
[sw26161]
 spectral graph analysis and visualization. Graph theory provides a computational framework for modeling a variety ... objects of study can be represented as graphs of nodes (vertices) and interactions (edges) that...

GraphsInGraphs
 Referenced in 2 articles
[sw28511]
 GraphsInGraphs, or GIG, is a computer aided graph theory Software designed by Eglantine Camby...

feyngen
 Referenced in 6 articles
[sw19941]
 Feynman graphs. Two programs for the computation of perturbative expansions of quantum field theory amplitudes ... feyngen can be used to generate Feynman graphs for YangMills...

feyncop
 Referenced in 6 articles
[sw19942]
 Feynman graphs,Two programs for the computation of perturbative expansions of quantum field theory amplitudes ... feyngen can be used to generate Feynman graphs for YangMills...

brainwaver
 Referenced in 2 articles
[sw26203]
 visualisation and parametrisation using graph theory. This package computes the correlation matrix for each scale ... graph. The graph obtained is finally analysed using the smallworld theory (Watts and Strogatz ... using the computation of efficiency (Latora, 2001), tested using simulated attacks. The brainwaver project...

QubitUPBSearch
 Referenced in 5 articles
[sw42212]
 cases, and we use graph theory techniques to produce a computerassisted proof that...

GrInvIn
 Referenced in 8 articles
[sw04703]
 learning graph theory by means of examples and by experimenting with graphs and their properties ... graph editor for drawing graphs, socalled ”factories” which create graphs of a certain type ... compute a new conjecture. In this example, the smallest counterexample would be a graph ... information on both invariants and basic graph theory. The documentation (and likewise, the user interface...