{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T09:49:40Z","timestamp":1672652980402},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1972,3,1]],"date-time":"1972-03-01T00:00:00Z","timestamp":68256000000},"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":[[1972,3]]},"DOI":"10.1007\/bf02242384","type":"journal-article","created":{"date-parts":[[2005,11,14]],"date-time":"2005-11-14T19:16:04Z","timestamp":1131995764000},"page":"97-106","source":"Crossref","is-referenced-by-count":3,"title":["Automatic a priori round-off analysis"],"prefix":"10.1007","volume":"10","author":[{"given":"W.","family":"Miller","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02242384_CR1","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 Methods. Numer. Math.19, 425\u2013432 (1972).","journal-title":"Numer. Math."},{"key":"BF02242384_CR2","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/BF01939411","volume":"11","author":"W. Miller","year":"1971","unstructured":"Miller, W.: A Note on the Instability of Gaussian Elimination. BIT11, 422 424 (1971).","journal-title":"BIT"},{"key":"BF02242384_CR3","unstructured":"Miller, W., andR. Paulhamus: Automatic A Priori Round-off Analysis, Part II: Symbol Manipulation Conditions. Technical report, The Pennsylvania State University (1972)."},{"key":"BF02242384_CR4","volume-title":"Principles of Mathematical Analysis","author":"W. Rudin","year":"1964","unstructured":"Rudin, W.: Principles of Mathematical Analysis, 2nd ed. New York: McGraw-Hill. 1964.","edition":"2nd ed."},{"key":"BF02242384_CR5","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry. Berkeley, California: University of California Press. 1951."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02242384.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02242384\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02242384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T18:22:03Z","timestamp":1626718923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02242384"}},"subtitle":["Part I: Arithmetic Conditions"],"short-title":[],"issued":{"date-parts":[[1972,3]]},"references-count":5,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1972,3]]}},"alternative-id":["BF02242384"],"URL":"https:\/\/doi.org\/10.1007\/bf02242384","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1972,3]]}}}