Drawing Euler Diagrams with Circles: The Theory of Piercings
@article{Stapleton2011DrawingED, title={Drawing Euler Diagrams with Circles: The Theory of Piercings}, author={Gem Stapleton and Leishi Zhang and John Howse and Peter J. Rodgers}, journal={IEEE Transactions on Visualization and Computer Graphics}, year={2011}, volume={17}, pages={1020-1032} }
Euler diagrams are effective tools for visualizing set intersections. They have a large number of application areas ranging from statistical data analysis to software engineering. However, the automated generation of Euler diagrams has never been easy: given an abstract description of a required Euler diagram, it is computationally expensive to generate the diagram. Moreover, the generated diagrams represent sets by polygons, sometimes with quite irregular shapes that make the diagrams less…
Figures and Tables from this paper
41 Citations
Drawing Euler diagrams with circles and ellipses
- Computer Science2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
- 2011
This paper presents a novel approach to Euler diagram drawing that draws diagrams with circles, ellipses and curves in general and can enforce wellformedness properties as chosen by the user.
Drawing Euler Diagrams with Circles and Ellipses Gem
- Computer Science
This paper presents a novel approach to Euler diagram drawing that draws diagrams with circles, ellipses and curves in general and can enforce wellformedness properties as chosen by the user.
On the drawability of 3D Venn and Euler diagrams
- Computer Science, MathematicsJ. Vis. Lang. Comput.
- 2014
Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications
- Computer ScienceJ. Log. Lang. Inf.
- 2015
The improved local search and the hybrid method outperforms the local search from the literature and the gradient method for generating a diagram and both good results in terms of quality of drawings and stability are seen.
Introducing 3D Venn and Euler Diagrams
- Computer ScienceED@Diagrams
- 2012
3D Venn and Euler diagrams are considered, for the first time, as the first to consider these diagrams as set-theoretic notions of intersection, containment and disjointness, and it is demonstrated that some data can be visualized with wellformed 3D diagrams that cannot be visualization with well formed 2D diagrams.
The efficacy of Euler diagrams and linear diagrams for visualizing set cardinality using proportions and numbers
- Computer SciencePloS one
- 2019
This paper presents the first empirical investigation that compares Euler and linear diagrams when they are used to represent set cardinality and suggests that area-proportional Euler diagrams with numerical annotations most effectively supports task performance and so should be used to visualize set cardinalities.
Stapleton , Gem ( 2012 ) Introducing 3 D Venn and Euler Diagrams
- Computer Science, Mathematics
3D Venn and Euler diagrams are considered, for the first time, to comprise of labelled, orientable closed surfaces and it is demonstrated that some data can be visualized with wellformed 3D diagrams that cannot be visualization with well formed 2D diagrams.
Visualizing set relations and cardinalities using Venn and Euler diagrams
- Computer Science
- 2013
Novel automatic drawing methods for different types of Euler diagrams are presented and a user study of how such diagrams can help probabilistic judgement is studied, to facilitate data analysis and reasoning about the sets.
Tactical Diagrammatic Reasoning
- Computer ScienceUITP
- 2016
An interactive proof assistant for Euler diagrams, Speedith, is taken and tactics are added to its reasoning engine, providing a level of automation in the construction of proofs, and designed to not only prove the theorem, but also to support explanation.
References
SHOWING 1-10 OF 37 REFERENCES
Inductively Generating Euler Diagrams
- Computer ScienceIEEE Transactions on Visualization and Computer Graphics
- 2011
This paper develops certain graphs associated with Euler diagrams in order to allow curves to be added by finding cycles in these graphs, and presents a series of results that identify properties of cycles that correspond to the well-formedness conditions.
Properties of Euler Diagrams
- Computer ScienceElectron. Commun. Eur. Assoc. Softw. Sci. Technol.
- 2007
The definition of an Euler diagram and the formalization of these properties provides a general language for the Euler diagrams community to utilize and a consequence of using a common language will be better integration of, and more accessible, research results.
Generating and drawing area-proportional Euler and Venn diagrams
- Mathematics, Computer Science
- 2007
A graph-theoretic model of an Euler diagram's structure is described and this model is used to develop necessary-and-sufficient existence conditions and to prove that the Euler Diagram Generation Problem (EDGP) is NP-complete.
Embedding Wellformed Euler Diagrams
- Computer Science2008 12th International Conference Information Visualisation
- 2008
This paper describes a method for embedding wellformed Euler diagrams from dual graphs and discusses a number of layout improvements that can be explored for this embedding method.
Generating Euler Diagrams from Existing Layouts
- Computer ScienceElectron. Commun. Eur. Assoc. Softw. Sci. Technol.
- 2008
This paper provides two methods to add a curve to an Euler diagram in order to create a new diagram, and overviews a second method that can be used to produce a layout of any abstract description.
Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets
- Computer Science, MathematicsDiagrams
- 2004
This paper shows by a constructive method the existence of a diagrammatic representation called extended Euler diagrams for any collection of sets X 1,...,X n , n<9. These diagrams are adapted for…
Generating Euler Diagrams
- Computer ScienceDiagrams
- 2002
An algorithm for the automated generation of any Euler diagram starting with an abstract description of the diagram is described, which makes use of properties of the dual graph of an abstract diagram to identify which abstract diagrams are "drawable" within given wellformedness rules on concrete diagrams.
Layout metrics for Euler diagrams
- Computer ScienceProceedings on Seventh International Conference on Information Visualization, 2003. IV 2003.
- 2003
A set of suitable metrics to be used within a hill climbing multicriteria optimiser to produce "good" drawings is defined, and a set of metrics that measure aesthetics for good diagram layout are described.
An Heuristic for the Construction of Intersection Graphs
- Computer Science, Mathematics2009 13th International Conference Information Visualisation
- 2009
The final Euler diagram can be constructed by drawing the sets boundaries around the nodes of the intersection graph, either manually or automatically, in this paper.
Drawing Area-Proportional Venn and Euler Diagrams
- Computer ScienceGraph Drawing
- 2003
Algorithms for drawing area-proportional Venn diagrams for any population distribution over two characteristics using circles and over three characteristics using rectangles and near-rectangular polygons are developed and modifications of these algorithms are presented for drawing the more general Euler diagrams.