| 2007 |
|---|
| 17 | EE | James C. Beaumont,
Russell J. Bradford,
James H. Davenport,
Nalina Phisanbut:
Testing elementary function identities using CAD.
Appl. Algebra Eng. Commun. Comput. 18(6): 513-543 (2007) |
| 2005 |
|---|
| 16 | EE | James C. Beaumont,
Russell J. Bradford,
James H. Davenport,
Nalina Phisanbut:
Adherence is better than adjacency: computing the Riemann index using CAD.
ISSAC 2005: 37-44 |
| 2004 |
|---|
| 15 | EE | James C. Beaumont,
Russell J. Bradford,
James H. Davenport,
Nalina Phisanbut:
A poly-algorithmic approach to simplifying elementary functions.
ISSAC 2004: 27-34 |
| 2003 |
|---|
| 14 | EE | James C. Beaumont,
Russell J. Bradford,
James H. Davenport:
Better simplification of elementary functions through power series.
ISSAC 2003: 30-36 |
| 2002 |
|---|
| 13 | EE | Russell J. Bradford,
James H. Davenport:
Towards better simplification of elementary functions.
ISSAC 2002: 16-22 |
| 12 | | Russell J. Bradford,
Robert M. Corless,
James H. Davenport,
David J. Jeffrey,
Stephen M. Watt:
Reasoning about the Elementary Functions of Complex Analysis.
Ann. Math. Artif. Intell. 36(3): 303-318 (2002) |
| 1999 |
|---|
| 11 | EE | David Power,
Russell J. Bradford:
A Library for Parallel Modular Arithmetic.
Euro-Par 1999: 1476-1483 |
| 1998 |
|---|
| 10 | EE | Julian A. Padget,
Russell J. Bradford:
A pi-calculus Model of a Spanish Fish Market - Preliminary Report.
AMET 1998: 166-188 |
| 1994 |
|---|
| 9 | | Michael C. Fairhurst,
N. Higson,
C. Clar,
Russell J. Bradford,
W. Clark,
E. Pringle:
Automatic Image Processing in Developmental Testing of Visual-Motor Integration.
ICCHP 1994: 329-335 |
| 1993 |
|---|
| 8 | | Russell J. Bradford,
David De Roure:
EuLisp in Education.
Lisp and Symbolic Computation 6(1-2): 99-118 (1993) |
| 1992 |
|---|
| 7 | | Russell J. Bradford:
Algebraic Simplification of Multiple-Valued Functions.
DISCO 1992: 13-21 |
| 1991 |
|---|
| 6 | | Julian A. Padget,
Russell J. Bradford,
John Fitch:
Concurrent Object-Oriented Programming in Lisp.
Comput. J. 34(4): 311-319 (1991) |
| 1990 |
|---|
| 5 | EE | Russell J. Bradford:
A Parallelization of the Buchberger Algorithm.
ISSAC 1990: 296 |
| 1989 |
|---|
| 4 | EE | Russell J. Bradford:
Some Results on the Defect.
ISSAC 1989: 129-135 |
| 1988 |
|---|
| 3 | | Russell J. Bradford,
James H. Davenport:
Effective Tests for Cyclotonic Polynomials.
ISSAC 1988: 244-251 |
| 1987 |
|---|
| 2 | | Russell J. Bradford:
Hermite normal forms for integer matrices.
EUROCAL 1987: 315-316 |
| 1 | | J. A. Abbott,
Russell J. Bradford,
James H. Davenport:
Factorisation of Polynominals: Old Ideas and Recent Results.
Trends in Computer Algebra 1987: 81-91 |
