Automatic Error Analysis Using Computer Algebraic Manipulation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automatic Error Analysis Using Computer Algebraic Manipulation

Full text

Pdf (1.07 MB)

Source

ACM Transactions on Mathematical Software (TOMS) archive
Volume 3 , Issue 1 (March 1977) table of contents

Pages: 26 - 43

Year of Publication: 1977

ISSN:0098-3500

Author

David R. Stoutemyer

Department of Electrical Engineering, University of Hawaii, 2540 Dole, St., Honolulu, Hawaii

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 23, Citation Count: 5

Additional Information:

references cited by index terms

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/355719.355721 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	ASHENHURST, R.L. Number representation and significance monitoring. In Mathematical Software, J.R. Rice, Ed. Academic Press, New York, 1971, pp. 68-92.
	2	BAUER, F.L. Computational graphs and rounding error. SIAM J. Numer. Anal. ii, 1 (March 1974), 87-96.
	3	William S Dorn , Daniel D McCracken, Numerical methods with Fortran IV case studies, Krieger Publishing Co., Inc., Melbourne, FL, 1986
	4	Gross, M.L. The output of large expressions in REDUCE. Operating Note No. 14, Comput. Physics Group, U. of Utah, Salt Lake City, Utah, June 1974.
	5	Richard W Hamming, Numerical methods for scientists and engineers (2nd ed.), Dover Publications, Inc., New York, NY, 1986
	6	HEARN, A.C. REDUCE 2 users manual. U. of Utah, Salt Lake City, Utah, 2nd ed., 1973.
	7	HENRICI, P. Elements of Numerical Analysis. Wiley, New York, 1972.
	8	KAnAN, W. One numerical analyst's experience with one symbol manipulator. SIAM Rev. 16, 1 (Jan. 1974), 129.
	9	Webb Miller, Computer Search for Numerical Instability, Journal of the ACM (JACM), v.22 n.4, p.512-521, Oct. 1975 [doi>10.1145/321906.321916]
	10	MILLER, W. Graph transformations for roundoff analysis. SIAM J. Comput. (June 1976).
	11	Webb Miller, Software for Roundoff Analysis, ACM Transactions on Mathematical Software (TOMS), v.1 n.2, p.108-128, June 1975 [doi>10.1145/355637.355639]
	12	MOORE, R. Interval Analysis. Prentice-Hall, Englewood Cliffs, N.J., 1966.
	13	Joel Moses, Algebraic simplification: a guide for the perplexed, Communications of the ACM, v.14 n.8, p.527-537, Aug. 1971 [doi>10.1145/362637.362648]
	14	ROBERTS, S.M., AND SmPMAN, J.S. Mechanical generation of recursive and explicit roundoff error bounds for Legendre polynomials. Unpublished.
	15	David R. Stoutemyer, Analytical Optimization Using Computer Algebraic Manipulation, ACM Transactions on Mathematical Software (TOMS), v.1 n.2, p.147-164, June 1975 [doi>10.1145/355637.355641]

CITED BY 5

	Mark P. W. Mutrie , Richard H. Bartels , Bruce W. Char, An approach for floating-point error analysis using computer algebra, Papers from the international symposium on Symbolic and algebraic computation, p.284-293, July 27-29, 1992, Berkeley, California, United States
	B. W. Char, Automatic reasoning about numerical stability of rational expressions, Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation, p.234-241, July 17-19, 1989, Portland, Oregon, United States
	Anthony C. Hearn, A new REDUCE model for algebraic simplification, Proceedings of the third ACM symposium on Symbolic and algebraic computation, p.46-52, August 10-12, 1976, Yorktown Heights, New York, United States
	J. A. van Hulzen, Breuer's grow factor algorithm in computer algebra, Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, p.100-104, August 05-07, 1981, Snowbird, Utah, United States
	W. J. Cody, Software basics for computational mathematics, ACM SIGNUM Newsletter, v.15 n.2, p.18-29, June 1980