Publisher
Springer Science and Business Media LLC
Subject
Computational Mathematics,Computational Theory and Mathematics,Computer Science Applications,Numerical Analysis,Theoretical Computer Science,Software
Reference7 articles.
1. Kulisch, U.: An axiomatic approach to rounded computations. Numer. Math.18, 1–17 (1971).
2. London, R. L.: Computer programs can be proved correct. In: Theoretical Approaches to Non-numerical Problem Solving—Proc. Systems Symposium at Case Western Reserve University (R. B. Banerji andM. D. Mesarovic, eds.), pp. 281–302. New York: Springer. 1970.
3. Moore, R. E.: Interval Analysis. Englewood Cliffs, N. J.: Prentice-Hall. 1966.
4. Nickel, K., andK. Ritter: Termination criterion and numerical convergence. SIAM J. Numer. Anal.9, 277–283 (1972).
5. Rall, Louis B.: Computational Solutions of Nonlinear Operator Equations. New York: J. Wiley. 1969.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Unrestricted algorithms for reciprocals and square roots;BIT;1986-12
2. SOLVING ALGEBRAIC PROBLEMS WITH HIGH ACCURACY;A New Approach to Scientific Computation;1983
3. BIBLIOGRAPHY;Introduction to Interval Computation;1983
4. REFERENCES;Computer Arithmetic in Theory and Practice;1981
5. Implementing Nonstandard Arithmetics;SIAM Review;1979-01