Sciweavers

DIAGRAMS
2010
Springer
13 years 10 months ago
Fragments of Spider Diagrams of Order and Their Relative Expressiveness
Abstract. Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparis...
Aidan Delaney, Gem Stapleton, John Taylor, Simon J...
DIAGRAMS
2010
Springer
13 years 10 months ago
Heterogeneous Reasoning in Real Arithmetic
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
Matej Urbas, Mateja Jamnik
DIAGRAMS
2010
Springer
13 years 11 months ago
An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs
Shimojima and Katagiri have demonstrated that diagrams reduce "inferential load" during reasoning by scaffolding visual-spatial aspects of memory. In response, we wondere...
Peter Coppin, Jim Burton, Stephen Hockema
DIAGRAMS
2010
Springer
13 years 11 months ago
Diagram Editing on Interactive Displays Using Multi-touch and Pen Gestures
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
Mathias Frisch, Jens Heydekorn, Raimund Dachselt
DIAGRAMS
2010
Springer
14 years 1 months ago
Toward a Physics of Equations
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...
David Landy
DIAGRAMS
2010
Springer
14 years 1 months ago
Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons
Abstract. Area-proportional Venn diagrams are a popular way of visualizing the relationships between data sets, where the set intersections have a specified numerical value. In th...
Peter Rodgers, Jean Flower, Gem Stapleton, John Ho...
DIAGRAMS
2010
Springer
14 years 1 months ago
Drawing Euler Diagrams with Circles
Gem Stapleton, Leishi Zhang, John Howse, Peter Rod...