Can diagrammatic reasoning be automated
Published on Feb 25, 20075863 Views
Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so call