 | 1997 |
| 6 |  | Yiu-Kwong Man,
Malcolm A. H. MacCallum:
A Rational Approach to the Prelle-Singer Algorithm.
J. Symb. Comput. 24(1): 31-43 (1997) |
| 1994 |
| 5 |  | Malcolm A. H. MacCallum:
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994
ACM 1994 |
| 1988 |
| 4 |  | Malcolm A. H. MacCallum:
An Ordinary Differential Equation Solver for Reduce.
ISSAC 1988: 196-205 |
| 1987 |
| 3 |  | Malcolm A. H. MacCallum:
Symbolic computation in relativity theory.
EUROCAL 1987: 34-43 |
| 1985 |
| 2 |  | Jan E. Åman,
R. A. d'Inverno,
G. C. Joly,
Malcolm A. H. MacCallum:
Progress on the Equivalence Problem.
European Conference on Computer Algebra (2) 1985: 89-98 |
| 1984 |
| 1 |  | Jan E. Åman,
R. A. d'Inverno,
G. C. Joly,
Malcolm A. H. MacCallum:
Quartic Equations and Algorithms for Riemann Tensor Classification.
EUROSAM 1984: 47-58 |