{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T09:51:29Z","timestamp":1672653089461},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1974,6,1]],"date-time":"1974-06-01T00:00:00Z","timestamp":139276800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1974,6]]},"DOI":"10.1007\/bf02260371","type":"journal-article","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T23:58:36Z","timestamp":1132703916000},"page":"149-161","source":"Crossref","is-referenced-by-count":3,"title":["Remarks on the complexity of roundoff analysis"],"prefix":"10.1007","volume":"12","author":[{"given":"W.","family":"Miller","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02260371_CR1","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1137\/0709008","volume":"9","author":"I. Babuska","year":"1972","unstructured":"Babuska, I.: Numerical stability in problems of linear algebra. SIAM J. Numer. Anal.9, 53\u201377 (1972).","journal-title":"SIAM J. Numer. Anal."},{"key":"BF02260371_CR2","first-page":"178","volume":"10","author":"F. Bauer","year":"1965","unstructured":"Bauer, F.: Numerische Absch\u00e4tzung und Berechnung von Eigenwerten nichtsymmetrischer Matrizen. Aplikace Mathematiky10, 178\u2013189 (1965).","journal-title":"Aplikace Mathematiky"},{"key":"BF02260371_CR3","unstructured":"Collins, G. E.: Efficient quantifier elimination for elementary algebra. Symposium on Complexity of Sequential and Parallel Algorithms, Carnegie-Mellon University, May 16, 1973."},{"key":"BF02260371_CR4","volume-title":"Computer Solution of Linear Algebraic Systems","author":"G. Forsythe","year":"1967","unstructured":"Forsythe, G., and G. Moler: Computer Solution of Linear Algebraic Systems. Prentice-Hall, Englewood Cliffs, New Jersey. 1967."},{"key":"BF02260371_CR5","volume-title":"Analysis of Numerical Methods","author":"E. Isaacson","year":"1966","unstructured":"Isaacson, E. and H. B. Keller: Analysis of Numerical Methods. New York: Wiley. 1966."},{"key":"BF02260371_CR6","first-page":"1214","volume-title":"A survey of error analysis. 1971 IFIP Congress","author":"W. Kahan","year":"1972","unstructured":"Kahan, W.: A survey of error analysis. 1971 IFIP Congress, pp. 1214\u20131239, North Holland, Amsterdam, 1972."},{"key":"BF02260371_CR7","unstructured":"Kahan, W.: One numerical analyst's experience with one symbol manipulator, abstract to appear in SIAM Review."},{"key":"BF02260371_CR8","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0041-5553(69)90075-5","volume":"9","author":"G. D. Kim","year":"1969","unstructured":"Kim, G. D.: Statistical study of the rounding errors of some algebraic transformations. U.S.S.R., Comp. Math. and Math. Phy.9, 239\u2013246 (1969).","journal-title":"U.S.S.R., Comp. Math. and Math. Phy."},{"key":"BF02260371_CR9","volume-title":"The Art of Computer Programming","author":"D. E. Knuth","year":"1968","unstructured":"Knuth, D. E.: The Art of Computer Programming, Vol. II, Addison-Wesley, Reading, Mass. 1968."},{"key":"BF02260371_CR10","first-page":"47","volume-title":"Topics in Interval Analysis","author":"J. Meinguet","year":"1969","unstructured":"Meinguet, J.: On the estimation of significance, in: Topics in Interval Analysis (Hansen, E., ed.), pp. 47\u201364, Oxford: Clarendon Press. 1969."},{"key":"BF02260371_CR11","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/BF01404925","volume":"19","author":"W. Miller","year":"1972","unstructured":"Miller, W.: On the stability of finite numerical procedures. Numer. Math.19, 425\u2013432 (1972).","journal-title":"Numer. Math."},{"key":"BF02260371_CR12","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF02242384","volume":"10","author":"W. Miller","year":"1972","unstructured":"Miller, W.: Automatic a priori roundoff analysis. Computing10, 97\u2013106 (1972).","journal-title":"Computing"},{"key":"BF02260371_CR13","unstructured":"Miller, W.: Automatic verification of numerical stability. IBM technical report RC 4091, 1972."},{"key":"BF02260371_CR14","doi-asserted-by":"crossref","unstructured":"Miller, W.: Toward mechanical verification of properties of roundoff error propagation. Fifth ACM Symposium on Theory of Computing, Austin, Texas, April 30, 1973.","DOI":"10.1145\/800125.804035"},{"key":"BF02260371_CR15","unstructured":"Miller, W.: Numerical heuristics in computer-assisted roundoff analysis. IBM technical report RC 4332, 1973."},{"key":"BF02260371_CR16","volume-title":"Interval Analysis","author":"R. Moore","year":"1966","unstructured":"Moore, R.: Interval Analysis. Englewood Cliffs, N. J.: Prentice-Hall. 1966."},{"key":"BF02260371_CR17","first-page":"813","volume":"15","author":"P. L. Richman","year":"1972","unstructured":"Richman, P. L.: Automatic error analysis for determining precision. Comm. A.C.M.15, 813\u2013817 (1972).","journal-title":"Comm. A.C.M."},{"key":"BF02260371_CR18","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry. University of California Press. 1951.","DOI":"10.1525\/9780520348097"},{"key":"BF02260371_CR19","volume-title":"Rounding Error in Algebraic Processes","author":"J. H. Wilkinson","year":"1963","unstructured":"Wilkinson, J. H.: Rounding Error in Algebraic Processes. Englewood Cliffs, N. J.: Prentice-Hall. 1963."},{"key":"BF02260371_CR20","volume-title":"The Algebraic Eigenvalue Problem","author":"J. H. Wilkinson","year":"1965","unstructured":"Wilkinson, J. H.: The Algebraic Eigenvalue Problem. Oxford: Clarendon Press. 1965."},{"key":"BF02260371_CR21","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1137\/1013095","volume":"13","author":"J. H. Wilkinson","year":"1971","unstructured":"Wilkinson, J. H.: Modern error analysis. SIAM Review13, 548\u2013568 (1971).","journal-title":"SIAM Review"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02260371.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02260371\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02260371","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T06:31:12Z","timestamp":1626762672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02260371"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974,6]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1974,6]]}},"alternative-id":["BF02260371"],"URL":"https:\/\/doi.org\/10.1007\/bf02260371","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1974,6]]}}}