Year: 2006
Type: other
Abstract: . Euler diagrams have been used for centuries as a means for conveying logical statements in a simple, intuitive way. They form the basis of many diagrammatic notations used to represent set-theoretic relationships in a wide range of contexts including software modelling, logical reasoning systems, statistical data representation, database search queries and file system management. In this paper we survey notations based on Euler diagrams with particular emphasis on formalization and the development of software tool support.
Authors: John Howse, Richard Bosworth, Andrew Fish, Gem Stapleton, John Taylor, Peter Rodgers, Simon Thompson
Institutions: University of Brighton, University of Kent
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W1933225455