An Automatic Calculator with Penrose Diagrams

In this paper a general model, that allows different kinds of diagrams that appears in several fields of Science and Engineering to be integrated under the same representation, is proposed, and a computer aided graphical calculus system, enabling to manipulate these graphical representations in a semiautomatic way, is presented.