School of Computing

Drawing Euler Diagrams with Circles

Gem Stapleton, Leishi Zhang, John Howse, and Peter Rodgers

In Diagrams 2010, LNCS (LNAI) 6170, pages 182-196. Springer, August 2010.


Euler diagrams are a popular and intuitive visualization tool which are used in a wide variety of application areas, including biological and medical data analysis. As with other data visualization methods, such as graphs, bar charts, or pie charts, the automated generation of an Euler diagram from a suitable data set would be advantageous, removing the burden of manual data analysis and the subsequent task of drawing an appropriate diagram. To this end, various methods have emerged that automatically draw Euler diagrams from abstract descriptions of them. One such method draws some, but not all, abstract descriptions using only circles. We extend that method so that more abstract descriptions can be drawn with circles. Furthermore, we show how to transform any `undrawable' abstract description into a drawable one. Thus, given any abstract description, our method produces a drawing using only circles. The method has been implemented in a software tool available for download.

Download publication 779 kbytes (PDF)

Bibtex Record

author = {Gem Stapleton and Leishi Zhang and John Howse and Peter Rodgers},
title = {{Drawing Euler Diagrams with Circles}},
month = {August},
year = {2010},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {26810_1269875493},
    booktitle = {Diagrams 2010},
    publisher = {Springer},
    refereed = {yes},
    series = {LNCS (LNAI) 6170},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014