  |
LINK: A Software System for Discrete Mathematics - http://dimacs.rutgers.edu/~berryj/LINK.html
A general-purpose, extendible computing environment in which discrete mathematical objects representing real world problems can be easily manipulated and visualized. |
| |
plantri and fullgen - http://cs.anu.edu.au/people/bdm/plantri/
Programs for generation of certain types of planar graph, generated in such a way that exactly one member of each isomorphism class is output without the need for storing them. |
| |
JGraphT - http://jgrapht.sourceforge.net
Free Java class library that provides mathematical graph-theory objects and algorithms. |
| |
GeoSteiner - http://www.diku.dk/geosteiner/
Software for computing Steiner trees. Written in ANSI C, includes the public domain LP-solver lp_solve. |
| |
GRAPE - http://www.maths.qmul.ac.uk/~leonard/grape/
A GAP package for computing with graphs; primarily designed for the efficient construction and analysis of graphs related to groups, combinatorial designs and finite geometries. |
| |
Project Vega - http://vega.ijp.si/Htmldoc/Vega03.html
A system for manipulating discrete mathematical structures: a Mathematica based collection of operations with interface to external packages and programs. |
| |
Free Software in Graph Theory - http://www.geocities.com/pechv_ru/
Free Software for Win 9X,NT on Graph Theory by Vitali Petchenkine. Procedures: Metrics of the graph; Paths and cycles; Colorations; Automorphism group; Minimal spanning tree; Shortest paths; Max. Capacity path; K Shortest paths; Salesman problem; Maximal flow; Critical path; Reports for Graphs; Print. |
| |
Graph Magics - http://www.graph-magics.com
A tool for graph theory, having a generator and offering various algorithms: shortest paths, network flows, maximal clique, optimal coloring etc. |
| |
Information System on Graph Class Inclusions - http://wwwteo.informatik.uni-rostock.de/isgci/
A java applet for researching what is known about particular graph classes. |
| |
Gato: The Graph Animation Toolbox - http://www.zpr.uni-koeln.de/~gato
Software for visualizing graph algorithms. Free under GPL. Unix, Linux, MacOs ad Windows versions. |
| |
GraphThing - http://graph.seul.org/
Tool for investigating Graph Theory, with a GTK interface. Free under GPL. Unix, source code in C++. |
| |
Graph Coloring By DSATUR - http://prolland.free.fr/works/research/dsatphp/dsat.html
By using the DSATUR algorithm, this php/form colors any graph in the Dimacs format. |
| |
GOBLIN Graph Library - http://www.math.uni-augsburg.de/opt/goblin.html
C++ library of graph optimization algorithms with a GUI for editing, running and tracing the algorithms. |
| |
ACE - http://phalanstere.univ-mlv.fr/~ace/ACE/3.0/ACE.html
An Algebraic Combinatorics Environment for MAPLE providing functions to work with classical structures in algebraic combinatorics. Free download. |
 |
Combinatorics Software of the Algorithms Project - http://algo.inria.fr/libraries/software.html
Combinatorial analysis, discrete mathematics and computer algebra are the main interests of the Algorithms Projects. The packages let you define combinatorial structures; manipulate the associated generating functions, functional equations or recurrences; study their asymptotic behaviour. |