How to make AXIOM into a scratchpad

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

How to make AXIOM into a scratchpad

Full text

Pdf (1.01 MB)

Source

International Conference on Symbolic and Algebraic Computation archive
Proceedings of the international symposium on Symbolic and algebraic computation table of contents

Oxford, United Kingdom

Pages: 32 - 40

Year of Publication: 1994

ISBN:0-89791-638-7

Authors

Richard D. Jenks	IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY
Barry M. Trager	IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY

Sponsor

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 12, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/190347.190357 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	AviR94	Avitzur, R., private communication
	BrnS73	Brown, W.S., ALTRAN Users Manual, Bell Laboratories, Murray Hill, 1973.
	BucB91	Buchberger, B., Groebner Bases in Mathematica: Enthusiasm and Frustration, Technical Report, RISC- Linz Series no. 91-11, 1991.
	CanJ84	Cannon, J.J., An Introduction to the Group Theory Language CAYLEY, in Computational Group Theory, ed. M. Atkinson, Academic Press NY 1984.
	CoWo81	Chris A. Cole , Stephen Wolfram, SMP - A Symbolic Manipulation Program, Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, p.20-22, August 05-07, 1981, Snowbird, Utah, United States [doi>10.1145/800206.806365]
	CGG91a	Char, B.W., Geddes, K.O., Gonnet, G.H., Leong, B.L., Monagan, M.B., and Watt, S.M., Maple V Library Reference Manual, Springer-Verlag, 1991
	CGG91b	Char, B.W., Geddes, K.O., Gonnet, G.H., Leong, B.L., Monagan, M.B., and Watt, S.M., Maple V Language Reference Manual, Springer-Verlag, 1992
	DDoJ93	The Multi-Paradigm Man, interview with S. Wolfram, Dr. Dobbs Journal, 1993.
	GoRo83	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	GrMo93	Gruntz, D. and Monagan, M., Introduction to Gauss, Maple Tech: The Maple Technical Newsletter, Issue 9, Spring 1993, pp. 23-45.
	GruD93	Gruntz, D., Groebner Bases in Gauss, MapleTech: The Maple Technical Newsletter, Issue 9, Spring 1993, pp. 36-46.
	FaIv68	Falkoff, A.D., and Iverson, K.E., APL/360 User's Manual, IBM Thomas j. Watson Research Center, 1968.
	GrJe71	J. H. Griesmer , R. D. Jenks, SCRATCHPAD/1: An interactive facility for symbolic mathematics, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.42-58, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806266]
	HrnT71	Anthony C. Hearn, REDUCE 2: A system and language for algebraic manipulation, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.128-133, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806277]
	HuJo92	Hudak, P., Jones, S. P., Wadler, P., et al, Report on the Programming Language Haskell: A Non-strict, Purely Functional Language, Version 1.2, March 1, 1992.
	JenR79	Richard D. Jenks, MODLISP -- an introduction (invited), Proceedings of the International Symposiumon on Symbolic and Algebraic Computation, p.466-480, June 01, 1979
	JeSu87	R. S. Sutor , R. D. Jenks, The type inference and coercion facilities in the scratchpad II interpreter, Papers of the Symposium on Interpreters and interpretive techniques, p.56-63, June 24-26, 1987, St. Paul, Minnesota, United States
	JeSu92	Richard D. Jenks , Robert Sutor, AXIOM: the scientific computation system, Springer-Verlag New York, Inc., New York, NY, 1992
	JeTr81	Richard D. Jenks , Barry M. Trager, A language for computational algebra, Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, p.6-13, August 05-07, 1981, Snowbird, Utah, United States [doi>10.1145/800206.806363]
	LiGu77	Barbara Liskov , John Guttag, Abstraction and specification in program development, MIT Press, Cambridge, MA, 1986
	LosR74	Ruediger G. K. Loos, Toward a formal implementation of computer algebra, ACM SIGSAM Bulletin, v.8 n.3, p.9-16, August 1974 [doi>10.1145/1086837.1086839]
	MaFa71	W. A. Martin , R. J. Fateman, The MACSYMA system, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.59-75, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806267]
	McCa60	John McCarthy, LISP 1.5 Programmer's Manual, The MIT Press, 1962
	MiTH90	Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
	MonM94a	Michael B. Monagan, Gauss: A Parameterized Domain of Computation System with Support for Signature Functions, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.81-94, September 15-17, 1993
	MonM94b	Monagan, M., private communication
	MosJ71	Joel Moses, Algebraic simplification a guide for the perplexed, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.282-304, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806298]
	SteG84	Guy L. Steele, Jr., Common LISP: the language, Digital Press, Newton, MA, 1984
	StrB92	Bjarne Stroustrup, The C++ Programming Language, Third Edition, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1997
	Vor94	Vorkoetter, S.M., OpenMath: Preliminary Report, Waterloo Maple Software, 1994.
	WaDo94	Watt, S. M., Dooley, S. S., Morrison, S. C., Steinbach, J. M., and Sutor, R. S., A~ User's Guide, 1993.
	WaBD94a	Stephen M. Watt , Peter A. Broadbery , Samuel S. Dooley , Pietro Iglio , Scott C. Morrison , Jonathan M. Steinbach , Robert S. Sutor, A first report on the A# compiler, Proceedings of the international symposium on Symbolic and algebraic computation, p.25-31, July 20-22, 1994, Oxford, United Kingdom [doi>10.1145/190347.190356]
	WaBD94b	Watt, S.M., Broadbery, P.A., Dooley, S.S., Iglio, P., Morrison, S.C., Steinbach, J.M., Sutor, R.S., Atl User's Guide, v35.0, NAG Ltd, 1994.
	WaSM94	Watt, S. M., Steinbach, J. M., Morrison, S. C., and Broadbery, P.A. FOAM: A First Order Abstract Machine, v3.5, IBM Research Report RC 19528, 1994.
	WolS92	Stephen Wolfram, Mathematica: a system for doing mathematics by computer (2nd ed.), Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1991