A new software tool from Carnegie Mellon University turns abstract mathematical ... or continuous lines—the computer comes up with a few candidate diagrams that the user can select from and ...