
Magma
 Referenced in 3296 articles
[sw00540]
 package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides ... groups, rings, fields, modules, algebras, schemes, curves, graphs, designs, codes and many others. Magma also...

igraph
 Referenced in 203 articles
[sw07066]
 package for complex network analysis and graph theory, with an emphasis on efficiency, portability...

MADM
 Referenced in 131 articles
[sw06484]
 Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods ... Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods...

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

GRAPH
 Referenced in 25 articles
[sw19079]
 Belgrade, aimed to support research in graph theory by helping to pose, verify or disprove ... surveys 92 papers, mostly in spectral graph theory, which results were obtained with the support...

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

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

GraPHedron
 Referenced in 16 articles
[sw25129]
 Interactive and Automated Conjectures in Extremal Graph Theory. GraPHedron is a conjecturemaking system designed ... help researchers in (extremal) graph theory. GraPHedron is the contraction of the words Graph...

INGRID
 Referenced in 16 articles
[sw01071]
 assisting researchers and students of graph theory, is described. It is a partial commutative rule ... interface provided by INGRID, even a graph theory novice can often discern properties...

Quantomatic
 Referenced in 22 articles
[sw10107]
 Exploring a quantum theory with graph rewriting and computer algebra. It can be useful ... those identities as graph rewrites to expand the theory...

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

BlossomQuad
 Referenced in 14 articles
[sw41267]
 wellknown algorithm of the graph theory, namely the Blossom algorithm, that computes the minimum...

MathCheck
 Referenced in 12 articles
[sw13642]
 mathematical topic (e.g., graph and number theory, algebra, geometry, etc.) supported by the underlying ... solver, by providing learned clauses that encode theoryspecific lemmas, as it searches ... this paper, we leverage the graphtheoretic capabilities of an opensource CAS, called SAGE ... longstanding open mathematical conjectures from graph theory regarding properties of hypercubes: the first conjecture...

Treewidthlib
 Referenced in 13 articles
[sw09228]
 important role in research in algorithmic graph theory in the past years. More recently, research ... practical and experimental settings to solve graph problems. In many of these settings, algorithms...

BrainNet Viewer
 Referenced in 12 articles
[sw26512]
 using sophisticated analytic strategies, such as graph theory. These methods reveal the intriguing topological architectures ... huge complexity of this methodology, toolboxes for graphbased network visualization are still lacking. Here...

Tame Graphs
 Referenced in 16 articles
[sw28578]
 Flyspeck I: Tame Graphs. These theories present the verified enumeration of tame plane graphs...

GrInvIn
 Referenced in 8 articles
[sw04703]
 optimally support the user in learning graph theory by means of examples and by experimenting ... information on both invariants and basic graph theory. The documentation (and likewise, the user interface...

JUNG
 Referenced in 11 articles
[sw12112]
 number of algorithms from graph theory, data mining, and social network analysis, such as routines ... clustering, decomposition, optimization, random graph generation, statistical analysis, and calculation of network distances, flows...

JGraphT
 Referenced in 10 articles
[sw05496]
 Java graph library that provides mathematical graphtheory objects and algorithms. It supports a rich...

GraphTheory
 Referenced in 8 articles
[sw15923]
 Maple package Graph Theory. The GraphTheory package is a collection of routines for creating graphs...