Next: About this document ... Up: Link 1.3 Previous: Language Grammar

## References

1
  D. Berque, R. Cecchini, M. Goldberg, and R. Rivenburgh.
  The setplayer system for symbolic computation on power sets.
  Journal of Symbolic Computation, 14:645-662, 1992.

2
  J. Berry, N. Dean, P. Fasel, M. Goldberg, E. Johnson, J. MacCuish, G. Shannon, and S. Skiena.
  Link: A combinatorics and graph theory workbench for applications and research.
  Technical Report 95-15, Center for Discrete Mathematics and Theoretical Computer Science (see also: http://dimacs.rutgers.edu), Piscataway, NJ, 1995.

3
  J. Bondy and U. Murty.
  Graph Theory with Applications.
  North-Holland, 1976.

4
  N. Dean and G. E. Shannon, editors.
  Computational Support for Discrete Mathematics. American Mathematical Society, 1993.
  DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 15.

5
  Charles M. Fiduccia and R. M. Mattheyses.
  A linear-time heuristic for improving network partitions.
  In Proceedings of the 19th IEEE Design Automation Conference, pages 175-181, 1982.

6
  E. Gallesio.
  The stk reference manual.
  Technical Report RT 95-31a, I3S CNRS, Université de Nice - Sophia Antipolis, France, 1995.

7
  B. W. Kernighan and S. Lin.
  An efficient heuristic procedure for partitioning graphs.
  Bell System Technical Journal, 49:291-307, 1970.

8
  B. McKay.
  nauty user's guide (version 1.5).
  Technical Report TR-CS-90-02, Department of Computer Science, Australian National University, Australia, 1990.

9
  K. Mehlhorn and S. Nähger.
  Leda: A platform for combinatorial and geometric computing.
  CACM, 38(1):96-102, Jan 1995.

10
  M. Mevenkamp, N. Dean, and C. Monma.
  NETPAD user's guide and reference guide, 1990.

11
  J. Ousterhout.
  Tcl and the Tk Toolkit.
  Addison-Wesley, 1994.

12
  G. Shannon, L. Meeden, and D. Friedman.
  SchemeGraphs: An object-oriented environment for manipulating graphs, 1990.
  Software and documentation.

13
  S. Skiena.
  Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica.
  Addison-Wesley, 1990.

14
  R. Tamassia and I. G. Tollis, editors.
  Proceedings of the DIMACS International Workshop on Graph Drawing, 1994.
  Lecture Notes in Computer Science, 894.