1995 |
13 | | A. C. Norman:
Compact Delivery Support for REDUCE.
J. Symb. Comput. 19(1-3): 133-132 (1995) |
1993 |
12 | | A. C. Norman:
Compact Delivery Support for REDUCE.
DISCO 1993: 331-340 |
1990 |
11 | EE | A. C. Norman:
A Critical-Pair/Completion Based Integration Algorithm.
ISSAC 1990: 201-205 |
1988 |
10 | EE | A. C. Norman:
Faster Combinator Reduction Using stock Hardware.
LISP and Functional Programming 1988: 235-243 |
1984 |
9 | | W. R. Stoye,
T. J. W. Clarke,
A. C. Norman:
Some Practical Methods for Rapid Combinator Reduction.
LISP and Functional Programming 1984: 159-166 |
1982 |
8 | | A. C. Norman:
The Development of a Vector-based Algebra System.
EUROCAM 1982: 237-248 |
1980 |
7 | | T. J. W. Clarke,
P. Gladstone,
C. MacLean,
A. C. Norman:
SKIM - The S, K, I Reduction Machine.
LISP Conference 1980: 128-135 |
1979 |
6 | | A. C. Norman,
P. M. A. Moore:
The initial design of a vector based algebra system.
EUROSAM 1979: 258-265 |
5 | | A. C. Norman,
James H. Davenport:
Integration -- the dust settles? (invited).
EUROSAM 1979: 398-407 |
1978 |
4 | | John Fitch,
A. C. Norman:
A Note on Compacting Garbage Collection.
Comput. J. 21(1): 31-34 (1978) |
1977 |
3 | | John Fitch,
A. C. Norman:
Implementing LISP in a High-level Language.
Softw., Pract. Exper. 7(6): 713-725 (1977) |
1976 |
2 | | A. C. Norman:
Expanding the Solutions of Implicit Sets of Ordinary Differential Equations in Power Series.
Comput. J. 19(1): 63-68 (1976) |
1975 |
1 | EE | A. C. Norman:
Computing with Formal Power Series.
ACM Trans. Math. Softw. 1(4): 346-356 (1975) |