
DLMF
 Referenced in 1473 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 2347 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 486 articles
[sw00611]
 nauty is a program for computing automorphism groups of graphs and digraphs. It can also...

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

GRAPE
 Referenced in 77 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...

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

Traces
 Referenced in 76 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...

TensorFlow
 Referenced in 98 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...

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

Zoltan
 Referenced in 42 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 135 articles
[sw07495]
 mentioned article introduces a computer program, Graffiti, which makes graphtheoretical conjectures. Graffiti...

ParMETIS
 Referenced in 90 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 35 articles
[sw07563]
 library for sparse linear algebra and graph computations on CUDA. Cusp provides a flexible, high...

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

Chaco
 Referenced in 110 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 522 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...

RelView
 Referenced in 98 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...

Graphs
 Referenced in 102 articles
[sw12277]
 with a network (graph). A socalled preprocessing algorithm may compute certain information (a data ... distance labeling schemes in networking and distributed computing and for metric embeddings in geometry ... query time. We survey methods for general graphs as well as specialized methods for restricted...

GraphBase
 Referenced in 103 articles
[sw01555]
 GraphBase is a freely available collection of computer programs and data useful for testing ... 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 ... economy, college football scores, computational logic circuits, the Mona Lisa, etc. Others are based...

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