A case study of dynamic visualization and problem solving