
Magma
 Referenced in 2014 articles
[sw00540]
 groups, rings, fields, modules, algebras, schemes, curves, graphs, designs, codes and many others. Magma also...

DLMF
 Referenced in 1006 articles
[sw04968]
 data to be covered include mathematical formulas, graphs, references, methods of computation, and links...

nauty
 Referenced in 442 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program for computing automorphism groups of graphs ... example, geng can generate nonisomorphic graphs very quickly. There are also generators for bipartite ... graphs, digraphs, and multigraphs...

SparseMatrix
 Referenced in 416 articles
[sw04629]
 statistics, power networks, and other networks and graphs). We provide software for accessing and managing ... well as an online search capability. Graph visualization of the matrices is provided...

METIS
 Referenced in 362 articles
[sw04089]
 serial programs for partitioning graphs, partitioning finite element meshes, and producing fill reducing orderings...

GeoGebra
 Referenced in 278 articles
[sw04203]
 education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy...

CGAL
 Referenced in 265 articles
[sw00118]
 libraries Qt, Geomview, and the Boost Graph Library...

Graphplan
 Referenced in 172 articles
[sw07746]
 Fast planning through planning graph analysis. We introduce a new approach to planning in STRIPS ... compact structure we call a planning graph. We describe a new planner, Graphplan, that uses...

SVMlight
 Referenced in 231 articles
[sw04076]
 Nearest Neighbor is the Spectral Graph Transducer. SVMlight can also train SVMs with cost models...

polymake
 Referenced in 226 articles
[sw00724]
 dealing with simplicial complexes, matroids, polyhedral fans, graphs, tropical objects, and other objects. Computer algebra...

LEDA
 Referenced in 224 articles
[sw00509]
 core computer science areas  data structures, graph and network algorithms, and computational geometry  LEDA...

AutoGraphiX
 Referenced in 106 articles
[sw06137]
 computer system designed to help researchers in graph theory. The main purpose ... search for extremal graphs, i.e., graphs minimizing of maximizing a graph invariant (or a function ... graph invariants, which could also be considered as an invariant). From this main capability, some ... information on the extremal graphs could be extracted and conjectures may be generated automatically...

Graphs
 Referenced in 101 articles
[sw12277]
 first presented with a network (graph). A socalled preprocessing algorithm may compute certain information ... query time. We survey methods for general graphs as well as specialized methods for restricted ... graph classes, in particular for those classes with arguable practical significance such as planar graphs...

GRAFFITI
 Referenced in 105 articles
[sw07495]
 introduces a computer program, Graffiti, which makes graphtheoretical conjectures. Graffiti has a library ... certain types of graphs and it is capable of evaluating formulas formed from graphtheoretical ... conjecture if none of the graphs known by the program is an counterexample. The structure...

GraphBase
 Referenced in 90 articles
[sw01555]
 programs generate a large number of graphs with a great variety of properties. Some ... graphs are based on data from the “real world”: Fiveletter words of English ... mathematical constructions such as lattices and quaternions. Graphs can be modified and combined by union ... intersection, complementation, product, and forming line graphs. A general inducedgraph routine allows omission and/or...

Chaco
 Referenced in 108 articles
[sw09640]
 Chaco: Software for Partitioning Graphs. Before a calculation can be performed on a parallel computer ... problem can be addressed in terms of graph partitioning. Rob Leland and I have developed ... variety of algorithms for graph partitioning and implemented them into a package we call Chaco...

gSpan
 Referenced in 86 articles
[sw11908]
 gSpan: graphbased substructure pattern mining. We investigate new approaches for frequent graphbased pattern ... mining in graph datasets and propose a novel algorithm called gSpan (graphbased substructure pattern ... gSpan builds a new lexicographic order among graphs, and maps each graph to a unique...

Algorithm 447
 Referenced in 101 articles
[sw12877]
 Algorithm 447: effcient algorithms for graph manipulation. Efficient algorithms are presented for partitioning a graph ... paths. The algorithm for partitioning of a graph into simple paths of iterative and each...

GrabCut
 Referenced in 84 articles
[sw15842]
 GrabCut: interactive foreground extraction using iterated graph cuts. The problem of efficient, interactive foreground/background segmentation ... Recently, an approach based on optimization by graphcut has been developed which successfully combines ... information. In this paper we extend the graphcut approach in three respects. First...

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