Mathematical Reasoning with Diagrams: From Intuition to Automation (2001)

by M Jamnik