Sets comprise a generic data model that has been used in a variety of data analysis
problems. Such problems involve analysing and visualizing set relations between multiple …

A variety of data analysis problems can be modelled by defining multiple sets over a
collection of elements and analyzing the relations between these sets. Despite their simple …

Euler diagrams visually represent containment, intersection and exclusion using closed
curves. They first appeared several hundred years ago, however, there has been a …

Abstract Concept diagrams were introduced for precisely specifying ontologies in a manner
more readily accessible to developers and other stakeholders than symbolic notations. In …

Prewriting is the process of generating and organizing ideas before drafting a document.
Although often overlooked by novice writers and writing tool developers, prewriting is a …

We present a structure editor that aims to facilitate the presentation and manipulation of
handwritten mathematical expressions. The editor is oriented to the calculational …

This paper addresses the problem of how best to visualize network data grouped into
overlap** sets. We address it by evaluating various existing techniques alongside a new …

We present SetPad, a new application prototype that lets computer science students explore
discrete math problems by sketching set expressions using pen-based input. Students can …

The least cognitively demanding way to create a diagram is to draw it with a pen. Yet there is
also a need for more formal visualizations, that is, diagrams created using both traditional …

In this paper, we introduce Speedith which is an interactive diagrammatic theorem prover for
the well-known language of spider diagrams. Speedith provides a way to input spider …