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, 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,
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 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