Symbolic mathematics system evaluators (extended abstract)

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Symbolic mathematics system evaluators (extended abstract)

Full text

Pdf (1.24 MB)

Source

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

Zurich, Switzerland

Pages: 86 - 94

Year of Publication: 1996

ISBN:0-89791-796-0

Author

Richard J. Fateman

Computer Sciences Division, Electrical Engineering and Computer Sciences Department, University of California, Berkeley, CA

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
SIGNUM: ACM Special Interest Group on Numerical Mathematics

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 6, Citation Count: 4

Additional Information:

references cited by index terms collaborative colleagues peer to peer

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/236869.236907 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.

	1	S. Kamal Abdali , Guy W. Cherry , Neil Soiffer, Spreadsheet computations in computer algebra, ACM SIGSAM Bulletin, v.26 n.2, p.10-18, April 1992 [doi>10.1145/130933.130936]
	2	Lee Brownston , Robert Farrell , Elaine Kant , Nancy Martin, Programming expert systems in OPS5: an introduction to rule-based programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1985
	3	B. Buchberger , George E. Collins , Rudiger Loos , Rudolf Albrecht, Computer algebra: symbolic and algebraic computation (2nd ed.), Springer-Verlag New York, Inc., New York, NY, 1983
	4	DAVIS, M. Computability and Unsolvability. McGraw- Hill, 1958.
	5	FATEMAN, R. J. Macsyma's general simplifier: Philosophy and operation. Proc. I979 Macsyma Users Conference, Washington, D.C. (1979), 336--343.
	6	FATEMAN, R. J. A review of Mathematica. j. Symbohc Comp. 13, 5 (May 1992), 545--579.
	7	FATEMAN, R. J. Symbolic Mathematics System Evaluators. Tech. Rep. (full draft as submitted to ISSAC96), 1995.
	8	John Keith Foderaro, The design of a language for algebraic computation systems, 1983
	9	GRADsHTEYN, I. S., AND M.RYZHIK, I. Table of Integrals, Series, and Products, 4th ed. Academic Press, 1980.
	10	Richard D. Jenks , Robert Sutor, AXIOM: the scientific computation system, Springer-Verlag New York, Inc., New York, NY, 1992
	11	SOFTWAREHOUSE INC. DERIVE User Manual version 2. Soft Warehouse, Inc, Honolulu, Hawaii, 1992.
	12	Stephen Wolfram, Mathematica: a system for doing mathematics by computer (2nd ed.), Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1991
	13	Richard Zippel, The Weyl Computer Algebra Substrate, Cornell University, Ithaca, NY, 1990

CITED BY 4

	Robert H. Lewis, Comparison of polynomial-oriented computer algebra systems, ACM SIGSAM Bulletin, v.34 n.1, p.24-24, March 2000
	P. Wang , S. Gray , N. Kajler , D. Lin , W. Liao , X. Zou, IAMC architecture and prototyping: a progress report, Proceedings of the 2001 international symposium on Symbolic and algebraic computation, p.337-344, July 2001, London, Ontario, Canada
	Jeremy D. Frens , David S. Wise, Auto-blocking matrix-multiplication or tracking BLAS3 performance from source code, ACM SIGPLAN Notices, v.32 n.7, p.206-216, July 1997
	Temur Kutsia, Flat matching, Journal of Symbolic Computation, v.43 n.12, p.858-873, December, 2008