|
21
|
P.: Layout metrics for Euler diagrams
– J Flower, P Rodgers, Mutton
- 2003
|
|
36
|
Generating euler diagrams
– Jean Flower, John Howse
- 2002
|
|
65
|
1880) On the diagrammatic and mechanical representation of propositions and reasonings. Dublin Philos Mag J Sci 9: 1-18. PLoS Medicine | www.plosmedicine.org 1331
– J Venn
- 2005
|
|
19
|
VENNFS: A Venn-Diagram File Manager
– Rosario De Chiara, Rosario De, Chiara Ugo, Erra Vittorio Scarano
|
|
18
|
Automated Theorem Proving with Spider Diagrams
– J Flower, G Stapleton
- 2004
|
|
21
|
A constraint diagram reasoning system
– Gem Stapleton, John Howse, John Taylor
- 2003
|
|
17
|
Generating Readable Proofs: A Heuristic Approach to Theorem Proving with Spider Diagrams
– Jean Flower, Judith Masthoff, Gem Stapleton
- 2004
|
|
21
|
M.Weston. A Survey of Venn diagrams
– F Ruskey
- 1997
|
|
11
|
Drawing graphs in Euler diagrams
– Paul Mutton, Peter Rodgers, Jean Flower
- 2004
|
|
24
|
Spider diagrams: A diagrammatic reasoning system
– John Howse, O Molina, John Taylor, Stuart Kent, Joseph (yossi Gil
- 2001
|
|
16
|
On the Completeness and Expressiveness of Spider Diagram Systems
– John Howse, O Molina, John Taylor
- 2000
|
|
7
|
Towards a general solution to drawing area-proportional Euler diagrams
– Stirling Chow, Frank Ruskey
- 2005
|
|
13
|
Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets
– Anne Verroust, Marie-Luce Viaud
- 2003
|
|
8
|
Nesting in Euler Diagrams: syntax, semantics and construction
– J Flower, J Howse, J Taylor
- 2003
|
|
19
|
Lettres a une Princesse d’Allemagne sur Divers Sujets de Physique et de Philosophie, Imperial Academy of Sciences
– Leonard Euler
- 1768
|
|
10
|
M.-L.: Ensuring the drawability of Euler diagrams for up to eight sets
– A Verroust, Viaud
- 2004
|
|
8
|
Generating proofs with spider diagrams using heuristics
– Jean Flower, Judith Masthoff, Gem Stapleton
- 2004
|
|
8
|
Tableaux for diagrammatic reasoning
– Octavian Patrascoiu, Simon Thompson, Peter Rodgers
- 2005
|
|
6
|
The expressiveness of spider diagrams augmented with constants
– G Stapleton, J Howse, J Taylor, S Thompson
- 2004
|