Computational Discrete Mathematics: Combinatorics and Graph Theory with Mathematica ®
Experimenting with Combinatorica, a widely used software package for teaching and research in discrete mathematics, provides an exciting new way to learn combinatorics and graph theory. With examples of all 450 functions in action plus tutorial text on the mathematics, this book is the definitive guide to Combinatorica. Three interesting classes of exercises are provided -- theorem/proof, programming exercises, and experimental explorations, providing great flexibility in teaching and learning the material.The Combinatorica user community ranges from students to engineers to researchers in mathematics, computer science, physics, economics, and the humanities. Combinatorica, which has received the EDUCOM Higher Education Software Award, is included with every copy of the popular computer algebra system Mathematica.
What people are saying - Write a review
Other editions - View all
adjacency matrix algorithm automorphism biconnected bijection bipartite graph breadth-first Bruijn circulant graphs clique colors Combinatorica functions complete graph compute connected components constructs corresponding cube cycle index cycle structure default defined degree sequence deleted depth-first directed graph edge weights edges connecting EdgeStyle element enumeration Eulerian example False fc-subsets FiniteGraphs gives graph data structure graph g graph theory GraphOptions Gray code Gray code order grid graph Hamiltonian cycle Hamiltonian path hypercube identical implementation Infinity integer partitions involutions isomorphic labels length lexicographic order line graph matching Mathematica maximum minimum spanning tree multiple edges n-permutations necklaces NetworkFlow number of edges number of permutations number of vertices option pair of vertices partial order planar PlotRange problem random graphs rank recurrence representation returns RGFs self-loops set partitions SetGraphOptions shortest paths ShowGraph ShowGraph[g subgraph subset TableForm takes transposition graph Type undirected unranking vertex cover VertexColor VertexLabel VertexNumber VertexStyle WeightingFunction yields True Young tableaux