| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Alex Roederer, Yury Puzis, Geoff Sutcliffe: Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. CADE 2009: 157-162 |
| 2007 | ||
| 3 | EE | Geoff Sutcliffe, Yury Puzis: SRASS - A Semantic Relevance Axiom Selection System. CADE 2007: 295-310 |
| 2 | EE | Steven Trac, Yury Puzis, Geoff Sutcliffe: An Interactive Derivation Viewer. Electr. Notes Theor. Comput. Sci. 174(2): 109-123 (2007) |
| 2006 | ||
| 1 | Yury Puzis, Yi Gao, Geoff Sutcliffe: Automated Generation of Interesting Theorems. FLAIRS Conference 2006: 49-54 | |
| 1 | Yi Gao | [1] |
| 2 | Alex Roederer | [4] |
| 3 | Geoff Sutcliffe | [1] [2] [3] [4] |
| 4 | Steven Trac | [2] |