• 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, well-supported 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 individualization-refinement 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 graph-theoretical conjectures. Graffiti...
  • ParMETIS

  • Referenced in 90 articles [sw04697]
  • algorithms for partitioning unstructured graphs, meshes, and for computing fill-reducing orderings of sparse matrices ... that are especially suited for parallel AMR computations and large scale numerical simulations. The algorithms ... based on the parallel multilevel k-way graph-partitioning, adaptive repartitioning, and parallel multi-constrained...
  • 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]
  • computer-supported manipulation of relations represented as Boolean matrices or directed graphs, especially for prototyping ... developed at the Department of Computer Science of the Christian-Albrechts-University of Kiel. This...
  • Graphs

  • Referenced in 102 articles [sw12277]
  • with a network (graph). A so-called 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”: Five-letter 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...