An algebra of pictures is described that is sufficiently powerful to denote the structure of a well-known Escher woodcut, Square Limit. A decomposition of the picture that is reasonably faithful to Escher’s original design is given. This illustrates how a suitably chosen algebraic specification can be both a clear description and a practical implementation method. It also allows us to address some of the criteria that make a good algebraic description.
%0 Generic
%1 Henderson02functionalgeometry
%A Henderson, Peter
%D 2002
%K functionalgeometry
%T Functional geometry
%U http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.1503
%X An algebra of pictures is described that is sufficiently powerful to denote the structure of a well-known Escher woodcut, Square Limit. A decomposition of the picture that is reasonably faithful to Escher’s original design is given. This illustrates how a suitably chosen algebraic specification can be both a clear description and a practical implementation method. It also allows us to address some of the criteria that make a good algebraic description.
@misc{Henderson02functionalgeometry,
abstract = { An algebra of pictures is described that is sufficiently powerful to denote the structure of a well-known Escher woodcut, Square Limit. A decomposition of the picture that is reasonably faithful to Escher’s original design is given. This illustrates how a suitably chosen algebraic specification can be both a clear description and a practical implementation method. It also allows us to address some of the criteria that make a good algebraic description.},
added-at = {2014-12-08T22:19:41.000+0100},
author = {Henderson, Peter},
biburl = {https://www.bibsonomy.org/bibtex/25370e9785c2a0485da2eef7f5acd6262/wolftype},
description = {CiteSeerX — Functional geometry},
interhash = {9b9dcd997067e3d6df7d0f844197673f},
intrahash = {5370e9785c2a0485da2eef7f5acd6262},
keywords = {functionalgeometry},
timestamp = {2014-12-08T22:19:41.000+0100},
title = {Functional geometry},
url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.1503},
year = 2002
}