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

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

nauty
 Referenced in 609 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 747 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...

TensorFlow
 Referenced in 628 articles
[sw15170]
 library for numerical computation using data flow graphs. Nodes in the graph represent mathematical operations ... while the graph edges represent the multidimensional data arrays (tensors) communicated between them. The flexible...

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

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

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

GRAFFITI
 Referenced in 206 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...

SNAP
 Referenced in 172 articles
[sw04184]
 analysis and manipulation of large networks. Graphs consists of nodes and directed/undirected/multiple edges between ... graph nodes. Networks are graphs with data on nodes and/or edges of the network ... optimized for maximum performance and compact graph representation. It easily scales to massive networks with ... billions of edges. It efficiently manipulates large graphs, calculates structural properties, generates regular and random...

polymake
 Referenced in 326 articles
[sw00724]
 fans as well as simplicial complexes, matroids, graphs, tropical hypersurfaces, and other objects. Supported platforms...

Traces
 Referenced in 188 articles
[sw07823]
 Search Space Contraction in Canonical Labeling of Graphs. The individualizationrefinement paradigm for computing ... labeling and the automorphism group of a graph is investigated. A new algorithmic design aimed ... making computation feasible for several classes of graphs which are hard for all the main...

GraphBase
 Referenced in 137 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...

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

AutoGraphiX
 Referenced in 142 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...

Algorithm 447
 Referenced in 166 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...

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

Graphplan
 Referenced in 186 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...

MIM
 Referenced in 134 articles
[sw26139]
 form of multivariate analysis that uses graphs to represent models. These graphs display the structure ... Chapter 7 describes the use of directed graphs, chain graphs, and other graphs. Chapter...

gSpan
 Referenced in 115 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...