• 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 real-world 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...
  • Blossom-Quad

  • Referenced in 17 articles [sw41267]
  • algorithm of the graph theory, namely the Blossom algorithm, that computes the minimum-cost 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 ... high-dimensional 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 Kazhdan-Lusztig polynomials; Kazhdan-Lusztig ... Inverse Kazhdan-Lusztig polynomials; Cells and W-graphs...
  • 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 Yang-Mills...
  • 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 Yang-Mills...
  • 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 small-world 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 computer-assisted 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, so-called ”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...