
Magma
 Referenced in 2082 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...

MADM
 Referenced in 88 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 109 articles
[sw06137]
 system designed to help researchers in graph theory. The main purpose...

igraph
 Referenced in 82 articles
[sw07066]
 graphs. It includes implementations for classic graph theory problems like minimum spanning trees and network ... implementation of igraph allows it to handle graphs with millions of vertices and edges...

GRAPH
 Referenced in 20 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...

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

CliffOC
 Referenced in 13 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...

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

Graffiti.pc
 Referenced in 13 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...

CliffMath
 Referenced in 7 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...

KEGGgraph
 Referenced in 8 articles
[sw06934]
 parse and analyze KEGG pathways with graph theory. Results: We introduce the software package KEGGgraph ... Bioconductor, an interface between KEGG pathways and graph models as well as a collection...

JUNG
 Referenced in 7 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 6 articles
[sw05496]
 Java graph library that provides mathematical graphtheory objects and algorithms. It supports a rich...

GrInvIn
 Referenced in 4 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...

STEXIDE
 Referenced in 6 articles
[sw07696]
 module management, semantic macro retrieval, and theory graph navigation...

MathCheck
 Referenced in 4 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...

ECgene
 Referenced in 4 articles
[sw17328]
 algorithm. Transcript assembly is achieved using graph theory that represents the exon connectivity in each...

BioGrapher
 Referenced in 2 articles
[sw16628]
 measurements, and analysis in mathematical biology. Graph theory provides mathematical insight into many areas ... Thus, there is an enormous need for graph theoretic visualization tools that make it easy ... world networks. An algorithmic approach using graph theory, BioGrapher, and the complementary JavaBENZER...

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

CeTA
 Referenced in 26 articles
[sw06584]
 required theory of term rewriting including three major termination criteria: dependency pairs, dependency graphs...