References

1
American National Standard Programming Language C, ANSI X3.159-1989, American National Standards Institute, 1989.
2
H.J. Boehm and M. Weiser, Garbage collection in an Uncooperative Environment, Software Practice and Experience, September 1988.
3
Bigatti, Caboara, Robbiano, On the Computation of Hilbert-Poincare Series, AAECC vol 2, Jan 1991, pp 21-33.
4
S.R. Bourne and J.R. Horton, The CAMAL System Manual,, Computer Laboratory, Cambridge, 1971.
5
W.S. Brown, The ALPAK System for Nonnumerical Algebra on a Digital Computer, Bell Systems Tech. Journal, Murray Hill, 1963.
6
W.S. Brown, ALTRAN User's Manual, Bell Laboratories, Murray Hill, 1973.
7
J. Cannon and C. Playoust, An Introduction to MAGMA University of Sydney, 1993.
8
B.W. Char, K.O. Geddes, W.M. Gentleman and G.H. Gonnet, The design of Maple: A compact, portable, and powerful computer algebra system, in Proc. EUROCAL '83, Springer Verlang LNCS 162, 1983.
9
B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan and S.M. Watt, Maple V Language Reference Manual, Springer Verlag, 1991.
10
G.E. Collins, PM, A System for Polynomial Manipulation, Communications of the ACM 9, 1966.
11
G.E. Collins, The SAC-1 System: An Introduction and Survey, ACM, Proceedings of the 2nd Symposium on Symbolic and Algebraic Manipulation, 1971.
12
C. Engelman, MATHLAB: A Program for On-line Assistance in Symbolic Computations, Proceedings of FJCC, 1965.
13
A.C. Hearn, Reduce 3 User's Manual, version 3.3 Rand Corporation, 1987.
14
R.D. Jenks and R.S. Sutor, Axiom -- The Scientific Computation System, Springer Verlag, 1992.
15
Brian W. Kernighan and Dennis M. Ritchie, The C Programming Language, First edition, Prentice Hall, 1978.
16
J. Purtilo, A Software Interconnection Technology, UMCP, Computer Science Department TR-2139, 1988.
17
A. Rich and D. Stoutemyer, DERIVE Reference Manual, SoftWarehouse, 1992.
18
J. Marti, A.C. Hearn, M.L. Griss, and C. Griss, Standard LISP Report, SIGPLAN Notices 14, 1979.
19
Guy L. Steele Jr.and G.J. Sussman, The Revised Report on SCHEME: A Dialect of LISP, MIT Artificial Intelligence Lab Memo 452, 1978.
20
M. Schönert, GAP - Groups, Algorithms, and Programs, Lehrstuhl D für Mathematik, Rheinisch Westfälische Technische Hochschule, Aachen, Germany, Third edition, 1993.
21
Guy L. Steele Jr. Common Lisp: The Language, Second edition, Digital Press, 1990.
22
Bjarne Stroustrup, The C++ Programming Language, Second edition, Addison-Wesley, 1991.
23
MACSYMA Reference Guide, Symbolics Inc, 1985.
24
S.M. Watt, tex2html_wrap_inline302 Language Reference, V 0.35, IBM Research Report 19530, 1994.
25
S.M. Watt, P.A. Broadbery, S.S. Dooley, P. Iglio, S.C. Morrison, J.M. Steinbach and R.S. Sutor, tex2html_wrap_inline302 User's Guide, NAG Ltd, 1994.
26
S.M. Watt, P.A. Broadbery, P. Iglio, S.C. Morrison and J.M. Steinbach, Foam: A First Order Abstract Machine, V 0.35, IBM Research Report RC 19528, 1994.
27
S.M. Watt, P.A. Broadbery, S.S. Dooley, P. Iglio, S.C. Morrison, J.M. Steinbach and R.S. Sutor, A First Report on the tex2html_wrap_inline302 Compiler (including benchmarks), IBM Research Report RC 19529, 1994.
28
S. Wolfram, Mathematica: A System for Doing Mathematics by Computer, Second edition, Addison-Wesley, 1991.
29
Mathlink, Wolfram Research Inc.
30
OpenMath, Workshop notes, ETH Zürich, 1993.



Stephen Watt
Wed Sep 18 19:39:57 MET DST 1996