An approach for floating-point error analysis using computer algebra

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An approach for floating-point error analysis using computer algebra

Full text

Pdf (703 KB)

Source

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

Berkeley, California, United States

Pages: 284 - 293

Year of Publication: 1992

ISBN:0-89791-489-9

Authors

Mark P. W. Mutrie
Richard H. Bartels
Bruce W. Char

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): 12, Citation Count: 0

Additional Information:

references 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/143242.143332 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.

	Bau74	F.L. Bauer. Computational Graphs and Rounding Error. SIAM Journal of Numerical Analysis, 11(1):87-96, March 1974.
	Bro77	W. S. Brown, A Simple but Realistic Model of Floating-Point Computation, ACM Transactions on Mathematical Software (TOMS), v.7 n.4, p.445-480, Dec. 1981 [doi>10.1145/355972.355975]
	DB74	Germund Dahlquist , Ake Bjorck, Numerical Methods, Dover Publications, Incorporated, 2003
	DM72	William S Dorn , Daniel D McCracken, Numerical methods with Fortran IV case studies, Krieger Publishing Co., Inc., Melbourne, FL, 1986
	FMM77	George E. Forsythe , Michael A. Malcolm , Cleve B. Moler, Computer Methods for Mathematical Computations, Prentice Hall Professional Technical Reference, 1977
	Hen64	Peter Henrici. Elements of Numerical Analysis. John Wiley ~ Sons, Inc., New York, 1964.
	Hen80	Peter Henrici. A Model for the Propagation of Rounding Error in Floating Arithmetic. In Karl L. E. Nickel, editor, Interval Mathematics 1980, pages 49-74, New York, 1980. Academic Press, Inc. Proceedings of an International Symposium on Interval Mathematics.
	HvH84	Ben J. A. Hulshof , J. A. van Hulzen, Automatic Error Cumulation Control, Proceedings of the International Symposium on Symbolic and Algebraic Computation, p.260-271, July 09-11, 1984
	Lin82	Seppo Linnainmaa. A Fortran Implementation of the Error Linearization Method for Automatic Error Analysis. Technical Report A-1982-3, Department of Computer Science, University of Helsinki, Helsinki, Finland, 1982.
	LLUV78	S. Linnainmaa, H. Lokki, E. Ukkonen, and I. Verkamo. Algol Elastic, A Programming Language for Analyzing Numerical Stability and Its Implementation. Technical Report A-1978-3, Department of Computer Science, University of Helsinki, 1978.
	LPW83	John L. Larson , Mary E. Pasternak , John A. Wisniewski, Algorithm 594: Software for Relative Error Analysis, ACM Transactions on Mathematical Software (TOMS), v.9 n.1, p.125-130, March 1983 [doi>10.1145/356022.356029]
	LS80	J.L. Larson and A. H. Sameh. Algorithms for Roundoff Error Analysis- A Relative Error Approach. Computing, 24(4):275-297, 1980.
	Mat85	Yu. Matijasevich, A Posteriori Interval Analysis, Research Contributions from the European Conference on Computer Algebra-Volume 2, p.328-334, April 01-03, 1985
	MGvH91	J. H. J. Molenkamp , V. V. Goldman , J. A. van Hulzen, An improved approach to automatic error cumulation control, Proceedings of the 1991 international symposium on Symbolic and algebraic computation, p.414-418, July 15-17, 1991, Bonn, West Germany [doi>10.1145/120694.120758]
	Mutar	Mark P.W. Mutrie. Towards a Symbolic System for Floating-Point Error Amdysis. Technical ~eport, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1, To appear.
	MW80	Webb Miller and Celia Wrathall. Software for Roundoff Analysis of Matriz Algorithms. Academic Press, Inc., New York, 1980.
	SB80	J. Stoer and R. Bulirsch. introduction ~o Numerical Analysis. Springer-Vet}lag, New York, 1980.
	Sto77	David R. Stoutemyer, Automatic Error Analysis Using Computer Algebraic Manipulation, ACM Transactions on Mathematical Software (TOMS), v.3 n.1, p.26-43, March 1977 [doi>10.1145/355719.355721]