Research Catalog

Title

Computational support for discrete mathematics : DIMACS workshop, March 12-14, 1992 / Nathaniel Dean, Gregory E. Shannon.

Publication

Providence, RI : American Mathematical Society, 1994.

Items in the Library & Off-site

Details

Additional Authors

• Dean, Nathaniel, 1956-
• Shannon, Gregory E., 1960-
• DIMACS (Group)

Description

xii : illustrations; 26 cm.

Series Statement

DIMACS series in discrete mathematics and theoretical computer science ; v. 15

Uniform Title

DIMACS series in discrete mathematics and theoretical computer science ; v. 15.

Subject

• Computer science > Mathematics

Bibliography (note)

• Includes bibliographical references.

Contents

• Analyzing Integer Sequences / A. Bhansali and S. S. Skiena -- GDR: A Visualization Tool for Graph Algorithms / M. Stallmann, R. Cleaveland and P. Hebbar -- Application of Computational Tools for Finitely Presented Groups / G. Havas and E. F. Robertson -- Animated Algorithms Computer Science Education with Algorithm Animation / P. A. Gloor, I. Lee and A. Velez-Sosa -- AGE: An Animated Graph Environment / J. Abello, S. Sudarsky, T. Veatch and J. Waller -- An Interactive, Graphical, Educationally Oriented Graph Analysis Package / D. S. Dillon and F. R. Smietana -- Network Assistant to Construct, Test, and Analyze Graph Network Algorithms / G. H. Bradley and H. F. Oliveira -- Computing Spanning Trees in NETPAD / Keh-Wei Lih, N. Dean and M. Mihail -- An Empirical Assessment of Algorithms for Constructing a Minimum Spanning Tree / B. M. E. Moret and H. D. Shapiro -- Rectilinear Steiner Tree Minimization on a Workstation / C. Thomborson, B. Alpern and L. Carter.
• The XYZ GeoBench for the Experimental Evaluation of Geometric Algorithms / P. Schorn -- Monitoring an Algorithm's Execution / D. A. Berque and M. K. Goldberg -- Implementation of Parallel Graph Algorithms on the MasPar / T.-S. Hsu, V. Ramachandran and N. Dean -- Monte Carlo and Markov Chain Techniques for Network Reliability and Sampling / A. L. Buchsbaum and M. Mihail -- Networks and Reliability in Maple / D. D. Harms, J. S. Devitt and C. J. Colbourn -- GMP/X, Au X-Windows Based Graph Manipulation Package / G. Zimmerman, A. H. Esfahanian and D. Vasquez -- METANET: A System for Network Analysis / C. Gomez and M. Goursat -- GraphTool: A Tool for Interactive Design and Manipulation of Graphs and Graph Algorithms / V. J. Leung, M. B. Dillencourt and A. L. Bliss -- Improvements to GraphPack: A System to Manipulate Graphs and Digraphs / M. Krishnamoorthy, A. Suess, M. Onghena, F. Oxaal and T. Spencer -- Extending a Graph Browser for Topological Graph Theory / J. I. Helfman and J. L. Gross.
• Test Case Construction for the Vertex Cover Problem / L. A. Sanchis -- CallCo: Software for Combinatories / M. Delest and N. Rouillon -- Formal Calculus and Enumerative Combinatories / M. Delest -- Implementing Finite State Machines / K. Sutner -- NPDA: A Tool for Visualizing and Simulating Nondeterministic Pushdown Automata / D. Caugherty and S. H. Rodger -- Recognizing the Hidden Structure of Cayley Graphs / I. J. Dejter -- A Concept for the Representation of Data and Algorithms / D. Moller and R. Muller.

ISBN

0821866052

LCCN

94010076

OCLC

• 30071294
• ocm30071294

Owning Institutions

Columbia University Libraries