Login / Signup
A Visualization System for Correctness Proofs of Graph Algorithms.
Peter A. Gloor
Donald B. Johnson
Fillia Makedon
Panagiotis Takis Metaxas
Published in:
Comput. Sci. Educ. (1992)
Keyphrases
</>
graph theory
graph layout
computational cost
learning algorithm
theoretical analysis
orders of magnitude
optimization problems
knn
significant improvement
computational complexity
data structure
data analysis
directed graph
data clustering
theorem prover
graph representation
random graphs
maximum weight