Software for Interval Arithmetic: A Reasonably Portable Package

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Software for Interval Arithmetic: A Reasonably Portable Package

Full text

Pdf (1.03 MB)

Source

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

Pages: 50 - 63

Year of Publication: 1979

ISSN:0098-3500

Author

J. M. Yohe

Academic Computing Services, University of Wisconsin-Eau Claure, Eau Claure, WI

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 15, Citation Count: 8

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/355815.355819 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	ANSI Standard Fortran. Amer. Nat Stand. Inst., New York, 1966
	2	BIERBAUM, F. Intervall-Mathematik, Eme Llteraturubersmht Interner Bericht Nr. 76/4, Inst. Fur Practlsche Mathematlk, U. Karlsruhe, Karlsruhe, Germany, 1976.
	3	BRIGHT, H.S., COLHOUN, B.A., AND MALLORY, F.B. A software system for tracing numerical slgmficance during program execution. Proc. AFIPS 1971 SJCC, AFIPS Press, Montvale, N.J., pp. 387-392.
	4	Fred D. Crary, A Versatile Precompiler for Nonstandard Arithmetics, ACM Transactions on Mathematical Software (TOMS), v.5 n.2, p.204-217, June 1979 [doi>10.1145/355826.355834]
	5	Allan Gibb, Algorithm 61: procedures for range arithmetic, Communications of the ACM, v.4 n.7, p.319-320, July 1961 [doi>10.1145/366622.366637]
	6	GOOD, D I, AND LONDON, R.L. Interval arithmetic for the Burroughs B5500: Four ALGOL procedures and proofs of their correctness Tech. Rep. 26, Comptr. Sci Dept., U. of Wisconsin-Madison, June 1968.
	7	Donald I. Good , Ralph L. London, Computer Interval Arithmetic: Definition and Proof of Correct Implementation, Journal of the ACM (JACM), v.17 n.4, p.603-612, Oct. 1970 [doi>10.1145/321607.321610]
	8	HANSEN, E. Interval arithmetic in matrtx computations, Pt. I. SIAM J. Numer. Anal. 2 (1965), 308-320.
	9	Prentiss Hadley Knowlton, The use of an algebraic language as both a source and target language, Proceedings of the 1968 23rd ACM national conference, p.787-794, August 27-29, 1968 [doi>10.1145/800186.810642]
	10	KNOWLTON, P.H On the extenslbflity of FORTRAN. In Software Engmeering, Vol. 1, J.T Tou, Ed., Academm Press, New York, 1970, pp. 225-251.
	11	KULISCH, U. An amomahc approach to rounded computahons. Numer Math. 18 (1971), 1-17.
	12	LADNER, T.D., AND YOHE, J M. An interval anthmetm package for the UNIVAC 1108, Tech. Summary Rep. 1055, Math Res Ctr., U. of Wlsconsm-Machson, May 1970.
	13	LANG, A.L., AND SHRIVER, B D. The design of a polymorphic arithmetic unit, Proc. Third IEEE-TCCA Symp. Comptr Arithmetic, 1975, pp. 48-55.
	14	MOORE, R.E. Interval Analysts Prentme-Hall, Englewood Chffs, N.J, 1966.
	15	NICKEL, K., Ed. Interval mathematics Lecture Notes ~n Computer Sctence 29. Springer-Verlag, New York, 1975
	16	Frederic N. Ris, A unified decimal floating-point architecture for the support of high-level languages, ACM SIGNUM Newsletter, v.11 n.3, p.18-23, October 1976 [doi>10.1145/1053237.1053238]
	17	WILKINSON, J.H. Rounding errors m algebraic processes. In Notes on Applied Science No. 32, Her Majesty's Statmnery Office, London, 1963.
	18	VV~IPPERMANN, H.-W., et. al. The algonthmm language TRIPLEX-ALGOL-60. Numer. Math 11 (1968), 175-180
	19	YOHE, J M Roundmgs m floating-point amthmetm IEEE Trans. Comptrs. (7-22 (1973), 577-586.
	20	YOHF., J.M. The INTERVAL arithmetic package. Tech Summary Rep. 1755, Math. Res. Ctr., U. of Wlsconsm-Madmon, June 1977.

CITED BY 8

	F. D. Crary , J. M. Yohe, The AUGMENT precompiler as a tool for the development of special purpose arithmetic packages, ACM SIGNUM Newsletter, v.14 n.1, p.53-56, March 1979
	Paul Jansen , Peter Weidner, High-accuracy arithmetic software—some tests of the ACRITH problem-solving routines, ACM Transactions on Mathematical Software (TOMS), v.12 n.1, p.62-70, March 1986
	Alan Bundy, A generalized interval package and its use for semantic checking, ACM Transactions on Mathematical Software (TOMS), v.10 n.4, p.397-409, Dec. 1984
	R. Baker Kearfott, Algorithm 763: INTERVAL_ARITHMETIC: a Fortran 90 module for an interval data type, ACM Transactions on Mathematical Software (TOMS), v.22 n.4, p.385-392, Dec. 1996
	Fred D. Crary, A Versatile Precompiler for Nonstandard Arithmetics, ACM Transactions on Mathematical Software (TOMS), v.5 n.2, p.204-217, June 1979
	R. Baker Kearfott, Some tests of generalized bisection, ACM Transactions on Mathematical Software (TOMS), v.13 n.3, p.197-220, Sept. 1987
	R. Baker Kearfott, A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization, ACM Transactions on Mathematical Software (TOMS), v.21 n.1, p.63-78, March 1995
	W. J. Cody, Software basics for computational mathematics, ACM SIGNUM Newsletter, v.15 n.2, p.18-29, June 1980