Formalization of Visual Mathematical Notations

@inproceedings{Meyer2002FormalizationOV,
  title={Formalization of Visual Mathematical Notations},
  author={Bernd Meyer},
  year={2002}
}
This paper discusses picture logic, a visual language for the specification of diagrams and diagram transformations. Formal specification techniques for diagrammatic or visual languages have previously mainly been targeted towards static diagrammatic languages. For reasoning about certain types of diagrams, however, formalizing a notion of change is… CONTINUE READING