| Automatic Proof of Graph Nonisomorphism. | 0 | 0.34 | 2008 |
| On a Certain Lie Algebra Defined by a Finite Group. | 0 | 0.34 | 2007 |
| Root shadow spaces | 0 | 0.34 | 2007 |
| Interactive mathematical documents | 0 | 0.34 | 2006 |
| A poset connected to Artin monoids of simply laced type | 0 | 0.34 | 2006 |
| Visualization of Seifert Surfaces | 3 | 0.59 | 2006 |
| Affine distance-transitive graphs and classical groups | 1 | 0.36 | 2005 |
| Visualization Of The Genus Of Knots | 3 | 0.88 | 2005 |
| Interactive learning and mathematical calculus | 5 | 0.66 | 2005 |
| Computing in groups of Lie type | 5 | 0.77 | 2004 |
| Certifying Solutions to Permutation Group Problems | 3 | 0.43 | 2003 |
| Interactive Mathematical Documents on the Web | 9 | 0.72 | 2003 |
| Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants | 10 | 0.75 | 2001 |
| JAVA Phrasebooks for computer algebra and automated deduction | 6 | 0.77 | 2000 |
| Affine distance-transitive groups of dimension one | 2 | 0.44 | 2000 |
| Representing and handling mathematical concepts by humans and machines | 1 | 0.38 | 2000 |
| Integrating Computational and Deduction Systems Using OpenMath | 4 | 0.70 | 1999 |
| Connecting Proof Checkers and Computer Algebra Using OpenMath | 7 | 1.01 | 1999 |
| Affine distance-transitive graphs: the cross characteristic case | 4 | 1.07 | 1999 |
| Computations in finite-dimensional Lie algebras | 1 | 0.47 | 1997 |
| On the number of fixed point free elements in a permutation group | 5 | 1.06 | 1992 |
| Generalized hexagons of even order | 0 | 0.34 | 1992 |
| Linear Groups and distance-transitive graphs | 7 | 2.01 | 1989 |
| Exceptional presentations of three generalized hexagons of order 2 | 0 | 0.34 | 1983 |
