{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T05:02:00Z","timestamp":1648702920741},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1995,9,1]],"date-time":"1995-09-01T00:00:00Z","timestamp":809913600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Comput"],"published-print":{"date-parts":[[1995,9]]},"DOI":"10.1007\/bf02385257","type":"journal-article","created":{"date-parts":[[2006,4,9]],"date-time":"2006-04-09T11:07:40Z","timestamp":1144580860000},"page":"265-274","source":"Crossref","is-referenced-by-count":3,"title":["Optimizing INTBIS on the CRAY Y-MP"],"prefix":"10.1007","volume":"1","author":[{"given":"Chenyi","family":"Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joe","family":"Sheldon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Baker Kearfott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qing","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02385257_CR1","doi-asserted-by":"crossref","first-page":"1249","DOI":"10.1016\/0167-8191(94)90036-1","volume":"20","author":"Q. Gan","year":"1994","unstructured":"Gan, Q., Yang, Q., and Hu, C.Parallel all-row preconditioned interval linear solver for nonlinear equations on multiprocesson. Parallel Computing20 (1994), pp. 1249\u20131268","journal-title":"Parallel Computing"},{"key":"BF02385257_CR2","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF01933165","volume":"21","author":"E. R. Hansen","year":"1981","unstructured":"Hansen, E. R., and Sengupta, S.Bounding solutions of systems of equations using interval arithmetic. BIT21 (1981), pp. 203\u2013211.","journal-title":"BIT"},{"key":"BF02385257_CR3","unstructured":"Hu, C., Bayoumi, M., Kearfott, R. B., and Yang, Q.A parallelized algorithm for all-row preconditioned interval Newton\/generalized bisection method. In: \u201cProc. SIAM 5th Conf. on Paral. Proc. for Sci. Comp.\u201d, 1991. pp. 205\u2013209."},{"key":"BF02385257_CR4","unstructured":"Hu, C., Frolov, A., Kearfott, R. B., and Yang, Q.A general iterative sparse linear solver and its parallelization for interval Newton's methods. This issue of J. Reliable Computing."},{"key":"BF02385257_CR5","doi-asserted-by":"crossref","unstructured":"Kearfott, R. B.A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization. ACM Trans. Math. Software, to appear.","DOI":"10.1145\/200979.200991"},{"issue":"179","key":"BF02385257_CR6","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1090\/S0025-5718-1987-0890261-9","volume":"49","author":"R. B. Kearfott","year":"1987","unstructured":"Kearfott, R. B.Abstract generalized bisection and a cost bound. Math. Comput.49 (179) (1987). pp. 187\u2013202.","journal-title":"Math. Comput."},{"issue":"3","key":"BF02385257_CR7","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/29380.29862","volume":"13","author":"R. B. Kearfott","year":"1987","unstructured":"Kearfott, R. B.Some tests of generalized bisection. ACM Trans. Math. Software13 (3) (1987), pp. 197\u2013220.","journal-title":"ACM Trans. Math. Software"},{"key":"BF02385257_CR8","doi-asserted-by":"crossref","unstructured":"Kearfott, R. B., Dawande, M., Du, K., and Hu,C. INTLIB: A portable interval FORTRAN-77 standard function library. ACM Trans. Math. Software, to appear.","DOI":"10.1145\/198429.198433"},{"key":"BF02385257_CR9","first-page":"59","volume":"1","author":"R. B. Kearfott","year":"1991","unstructured":"Kearfott, R. B., Hu, C., and Novoa, M.A review of preconditioners for the interval Gauss-Seidel method. Interval Computations 1 (1991), pp. 59\u201385.","journal-title":"Interval Computations"},{"issue":"2","key":"BF02385257_CR10","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/78928.78931","volume":"16","author":"R. B. Kearfott","year":"1990","unstructured":"Kearfott, R. B. and Novoa, M.A program for generalized bisection. ACM Trans. Math. Software16 (2) (1990), pp. 152\u2013157.","journal-title":"ACM Trans. Math. Software"},{"key":"BF02385257_CR11","doi-asserted-by":"crossref","unstructured":"Kulisch, U. and Miranker, W. L.A new approach to scientific computation. Academic Press, 1983.","DOI":"10.1016\/B978-0-12-428660-3.50008-2"},{"key":"BF02385257_CR12","volume-title":"Scientific Computing with Automatic Result Verification","author":"W. V. Walter","year":"1993","unstructured":"Walter, W. V.Fortran-XSC: A Fortran-like language for verified scientific computing. In: \u201cScientific Computing with Automatic Result Verification\u201d, Academic Press, New York, etc, 1993."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02385257.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02385257\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02385257","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:40:07Z","timestamp":1558078807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02385257"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,9]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,9]]}},"alternative-id":["BF02385257"],"URL":"https:\/\/doi.org\/10.1007\/bf02385257","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,9]]}}}