Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: diagrammatic reasoning
RP910
1998 Research Paper
Jamnik,M
;
Bundy,A
;
Green,I
On Automating Diagrammatic Proofs of Arithmetic Arguments