search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Computational Support for Discrete Mathematics

Keyphrases

Publications

volume 15, 1994

Computational Support for Discrete Mathematics, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, March 12-14, 1992 Computational Support for Discrete Mathematics 15 (1994)

1992

George Havas, Edmund F. Robertson
Application of Computational Tools for Finitely Presented Groups. Computational Support for Discrete Mathematics (1992)
Dan Caugherty, Susan H. Rodger
NPDA: A Tool for Visualizing and Simulating Nondeterministic Pushdown Automata. Computational Support for Discrete Mathematics (1992)
James Abello, Sandra Sudarsky, T. Veatch, J. Waller
AGE: An Animated Graph Environment. Computational Support for Discrete Mathematics (1992)
Preface. Computational Support for Discrete Mathematics (1992)
Matthias F. Stallmann, Rance Cleaveland, Prashant Hebbar
GDR: A Visualization Tool for Graph Algorithms. Computational Support for Discrete Mathematics (1992)
Claude Gomez, Maurice Goursat
METANET: A System for Network Analysis. Computational Support for Discrete Mathematics (1992)
Peter Schorn
The XYZ GeoBench for the Experimental Evaluation of Geometric. Computational Support for Discrete Mathematics (1992)
Clark D. Thomborson, Bowen Alpern, Larry Carter
Rectilinear Steiner Tree Minimization on a Workstation. Computational Support for Discrete Mathematics (1992)
Dave A. Berque, Mark K. Goldberg
Monitoring an Algorithm's Execution. Computational Support for Discrete Mathematics (1992)
Vitus J. Leung, Michael B. Dillencourt, Andrew L. Bliss
Graph Tool - A Tool for Interactive Design and Manipulation of Graphs and Graph Algorithms. Computational Support for Discrete Mathematics (1992)
Anil Bhansali, Steven Skiena
Analyzing Integer Sequences. Computational Support for Discrete Mathematics (1992)
Jonathan I. Helfman, Jonathan L. Gross
Extending a Graph Browser for Topological Graph Theory. Computational Support for Discrete Mathematics (1992)
Bernard M. E. Moret, Henry D. Shapiro
An Empirical Assessment of Algorithms for Constructing a Minimum Spanning Tree. Computational Support for Discrete Mathematics (1992)
David S. Dillon, Frank R. Smietana
An Interactive, Graphical, Educationally Oriented Graph Analysis Package. Computational Support for Discrete Mathematics (1992)
Peter A. Gloor, Irene A. Lee, Angel Velez-Sosa
Animated Algorithms Computer Science Education with Algorithm Animation. Computational Support for Discrete Mathematics (1992)
Mukkai S. Krishnamoorthy, Alex Suess, Mike Onghena, Ford Oxaal, Thomas Spencer
Improvements to GraphPack: A System to Manipulate Graphs and Digraphs. Computational Support for Discrete Mathematics (1992)
Guy W. Zimmerman, Abdol-Hossein Esfahanian, David Vasquez
GMP/X, An X-Windows Based Graph Manipulation Package. Computational Support for Discrete Mathematics (1992)
Keh-Wei Lih, Nathaniel Dean, Milena Mihail
Computing Spanning Trees in NETPAD. Computational Support for Discrete Mathematics (1992)
Tsan-sheng Hsu, Vijaya Ramachandran, Nathaniel Dean
Implementation of Parallel Graph Algorithms on the MasPar. Computational Support for Discrete Mathematics (1992)
Maylis Delest
Formal Calculus and Enumerative Combinatorics. Computational Support for Discrete Mathematics (1992)
Forward. Computational Support for Discrete Mathematics (1992)
Dirk Möller, Rudolf Müller
A Concept for the Representation of Data and Algorithms. Computational Support for Discrete Mathematics (1992)
Maylis Delest, Nadine Rouillon
CalICo: Software for Combinatorics. Computational Support for Discrete Mathematics (1992)
Italo J. Dejter
Recognizing the Hidden Structure of Cayley Graphs. Computational Support for Discrete Mathematics (1992)
Daryl D. Harms, John S. Devitt, Charles J. Colbourn
Networks and Reliability in Maple. Computational Support for Discrete Mathematics (1992)
Gordon H. Bradley, H. Fernandes Oliveira
Network Assistant to Construct, Test, and Analyze Graph Network Algorithms. Computational Support for Discrete Mathematics (1992)
Klaus Sutner
Implementing Finite State Machines. Computational Support for Discrete Mathematics (1992)
Laura A. Sanchis
Test Case Construction for the Vertex Cover Problem. Computational Support for Discrete Mathematics (1992)
Adam L. Buchsbaum, Milena Mihail
Monte Carlo and Markov Chain Techniques for Network Reliability and Sampling. Computational Support for Discrete Mathematics (1992)