
DLMF
 Referenced in 1885 articles
[sw04968]
 More than 50 mathematicians, physicists and computer scientists from around the world are participating ... covered include mathematical formulas, graphs, references, methods of computation, and links to software. Special features...

Magma
 Referenced in 2672 articles
[sw00540]
 large, wellsupported software package designed for computations in algebra, number theory, algebraic geometry ... 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...

nauty
 Referenced in 529 articles
[sw00611]
 nauty is a program for computing automorphism groups of graphs and digraphs. It can also...

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

TensorFlow
 Referenced in 200 articles
[sw15170]
 source software 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 ... flexible architecture allows you to deploy computation to one or more CPUs or GPUs...

Traces
 Referenced in 99 articles
[sw07823]
 Canonical Labeling of Graphs. The individualizationrefinement paradigm for computing a canonical labeling ... automorphism group of a graph is investigated. A new algorithmic design aimed at reducing ... search space, thereby making computation feasible for several classes of graphs which are hard...

GRAPE
 Referenced in 81 articles
[sw07516]
 GRAPE is a GAP package for computing with graphs and groups, and is primarily designed ... constructing and analysing graphs related to groups, finite geometries, and designs. The vast majority ... which use Brendan McKay’s nauty package. Computer algebra system...

Arc_Mat
 Referenced in 77 articles
[sw07176]
 toolbox that: utilize enhanced computing and graphing capabilities of more recent versions of Matlab, restructure...

MAXFLOW
 Referenced in 122 articles
[sw13223]
 MAXFLOW  software for computing mincut/maxflow in a graph. This software library implements the maxflow algorithm...

Zoltan
 Referenced in 46 articles
[sw07458]
 Graph partitioning is an important and well studied problem in combinatorial scientific computing ... reduce communication in parallel computing. Different models (graph, hypergraph) and objectives (edge cut, boundary vertices ... volume, but it is slower to compute than graph partitioning. par We present an empirical...

GRAFFITI
 Referenced in 152 articles
[sw07495]
 mentioned article introduces a computer program, Graffiti, which makes graphtheoretical conjectures. Graffiti...

ParMETIS
 Referenced in 97 articles
[sw04697]
 algorithms for partitioning unstructured graphs, meshes, and for computing fillreducing orderings of sparse matrices ... that are especially suited for parallel AMR computations and large scale numerical simulations. The algorithms ... based on the parallel multilevel kway graphpartitioning, adaptive repartitioning, and parallel multiconstrained...

CUSP
 Referenced in 38 articles
[sw07563]
 library for sparse linear algebra and graph computations on CUDA. Cusp provides a flexible, high...

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

Chaco
 Referenced in 115 articles
[sw09640]
 Partitioning Graphs. Before a calculation can be performed on a parallel computer, it must first ... 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 ... used at most of the major parallel computing centers around the world to simplify...

SparseMatrix
 Referenced in 573 articles
[sw04629]
 reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics, computer graphics/vision, robotics/kinematics, and other discretizations) and those ... statistics, power networks, and other networks and graphs). We provide software for accessing and managing...

Apache Spark
 Referenced in 28 articles
[sw28418]
 optimized engine that supports general computation graphs for data analysis. It also supports a rich...

LAMG
 Referenced in 23 articles
[sw06551]
 solver. Laplacian matrices of graphs arise in largescale computational applications such as semisupervised machine ... presented, where $A$ is a graph Laplacian. LAMG’s run time and storage are empirically ... extensible to eigenproblems and other graph computations...

RelView
 Referenced in 101 articles
[sw00798]
 computersupported manipulation of relations represented as Boolean matrices or directed graphs, especially for prototyping ... developed at the Department of Computer Science of the ChristianAlbrechtsUniversity of Kiel. This...

Algorithm 447
 Referenced in 131 articles
[sw12877]
 paths. The algorithm for partitioning of a graph into simple paths of iterative and each ... when executed on a random access computer...