{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T07:26:20Z","timestamp":1751873180188},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Glob Optim"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf01096417","type":"journal-article","created":{"date-parts":[[2005,2,5]],"date-time":"2005-02-05T09:15:22Z","timestamp":1107594922000},"page":"501-518","source":"Crossref","is-referenced-by-count":28,"title":["Experiments using interval analysis for solving a circuit design problem"],"prefix":"10.1007","volume":"3","author":[{"given":"H.","family":"Ratschek","sequence":"first","affiliation":[]},{"given":"J.","family":"Rokne","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Introduction to Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G. and Herzberger, J. (1983),Introduction to Interval Computations, Academic Press, New York."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1049\/el:19740140","volume":"10","author":"O. P. D. Cutteridge","year":"1974","unstructured":"Cutteridge, O. P. D. (1974), Powerful 2-part program for solution of nonlinear simultaneous equations,Electronics Letters 10, 182?184.","journal-title":"Electronics Letters"},{"key":"CR3","first-page":"278","volume":"127","author":"P. R. Dimmer","year":"1980","unstructured":"Dimmer, P. R. and Cutteridge, O. P. D. (1980), Second derivative Gauss-Newton-based method for solving nonlinear simultaneous equations,IEE Proc. 127, 278?283","journal-title":"IEE Proc."},{"key":"CR4","first-page":"1761","volume":"42","author":"J. J. Ebers","year":"1954","unstructured":"Ebers, J. J. and Moll, J. L. (1954), Large-scale behavior of junction transistors,IEE Proc. 42, 1761?1772.","journal-title":"IEE Proc."},{"key":"CR5","volume-title":"Global Optimization Using Interval Analysis","author":"E. R. Hansen","year":"1992","unstructured":"Hansen, E. R. (1992),Global Optimization Using Interval Analysis, Marcel Dekker, New York."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0096-3003(83)90001-2","volume":"12","author":"E. R. Hansen","year":"1983","unstructured":"Hansen, E. R. and Greenberg, R. I. (1983), An interval Newton method,Applied Math, and Comp. 12, 89?98.","journal-title":"Applied Math, and Comp."},{"key":"CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02598-7","volume-title":"Global Optimization","author":"R. Horst","year":"1990","unstructured":"Horst, R. and Tuy, H. (1990),Global Optimization, Springer-Verlag, Berlin."},{"key":"CR8","volume-title":"IEEE Standard 754-1985","author":"IEEE","year":"1985","unstructured":"IEEE (1985), IEEE standard for binary floating-point arithmetic. IEEE Standard 754-1985, IEEE, New York."},{"key":"CR9","volume-title":"IEEE Standard 854-1987","author":"IEEE","year":"1987","unstructured":"IEEE (1987), IEEE standard for radix-independent floating-point arithmetic. IEEE Standard 854-1987, IEEE, New York."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF01404868","volume":"32","author":"B. Kearfott","year":"1979","unstructured":"Kearfott, B. (1979), An efficient degree-computation method for a generalized method of bisection,Numerische Mathematik 32, 109?127.","journal-title":"Numerische Mathematik"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/29380.29862","volume":"13","author":"B. Kearfott","year":"1987","unstructured":"Kearfott, B. (1987), Some tests of generalized bisection,ACM Trans. Math. Software 13, 197?220.","journal-title":"ACM Trans. Math. Software"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1090\/S0025-5718-1987-0890261-9","volume":"49","author":"B. Kearfott","year":"1987","unstructured":"Kearfott, B. (1987), Abstract generalized bisection and a cost bound,Math, of Comput. 49, 187?202.","journal-title":"Math, of Comput."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/78928.78931","volume":"16","author":"B. Kearfott","year":"1990","unstructured":"Kearfott, B. (1990), INTBIS, a portable interval Newton\/bisection package,ACM. Trans. Math. Software 16, 152?157.","journal-title":"ACM. Trans. Math. Software"},{"key":"CR14","unstructured":"Kulisch, U. (ed.) (1986),PASCAL-SC Manual and System Disks, Wiley-Teubner Series in Computer Science, Stuttgart."},{"key":"CR15","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis","author":"R. E. Moore","year":"1979","unstructured":"Moore, R. E. (1979),Methods and Applications of Interval Analysis, SIAM, Philadelphia."},{"key":"CR16","series-title":"IMA Series, vol. 28","volume-title":"Computer Aided Proofs in Analysis","author":"R. E. Moore","year":"1990","unstructured":"Moore, R. E. (1990), Interval tools for computer aided proofs in analysis, inComputer Aided Proofs in Analysis, ed. K. R. Meyer and D. S. Schmidt, IMA Series, vol. 28, Springer-Verlag, Berlin."},{"key":"CR17","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A. (1990),Interval Methods for Systems of Equations, Cambridge University Press, Cambridge."},{"key":"CR18","first-page":"71","volume-title":"Towards Global Optimization 2","author":"W. L. Price","year":"1978","unstructured":"Price, W. L. (1978), A controlled random search procedure for global optimization, inTowards Global Optimization 2, ed. L. C. W. Dixon and G. P. Szeg\u00f6, North-Holland, Amsterdam, pp. 71?84."},{"key":"CR19","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10861-0","volume-title":"Automatic Differentiation","author":"L. B. Rall","year":"1981","unstructured":"Rall, L. B. (1981),Automatic Differentiation, Springer-Verlag, Berlin."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/3-540-07170-9_5","volume-title":"Interval Mathematics","author":"H. Ratschek","year":"1975","unstructured":"Ratschek, H. (1975), Nichtnumerische Aspekte der Intervallarithmetik, inInterval Mathematics, ed. by K. Nickel, Springer-Verlag, Berlin, pp. 48?74."},{"key":"CR21","volume-title":"Computer Methods for the Range of Functions","author":"H. Ratschek","year":"1984","unstructured":"Ratschek, H. and Rokne, J. (1984),Computer Methods for the Range of Functions, Ellis Horwood, Chichester."},{"key":"CR22","volume-title":"New Computer Methods for Global Optimization","author":"H. Ratschek","year":"1988","unstructured":"Ratschek, H. and Rokne, J. (1988),New Computer Methods for Global Optimization, Ellis Horwood, Chichester."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0898-1221(91)90159-2","volume":"21","author":"H. Ratschek","year":"1991","unstructured":"Ratschek, H. and Rokne, J. (1991), Interval tools for global optimization,Computers and Mathematics with Applications 21, 41?50.","journal-title":"Computers and Mathematics with Applications"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF00119986","volume":"9","author":"H. Ratschek","year":"1991","unstructured":"Ratschek, H. and Voller, R. (1991), What can interval analysis do for global optimization?Journal of Global Optimization 9, 111?130.","journal-title":"Journal of Global Optimization"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/0010-4485(76)90087-7","volume":"8","author":"D. J. Wright","year":"1976","unstructured":"Wright, D. J. and Cutteridge, O. P. D. (1976), Applied optimization and circuit design,Computer Aided Design 8, 70?76.","journal-title":"Computer Aided Design"}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01096417.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01096417\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01096417","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T05:42:04Z","timestamp":1556343724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01096417"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF01096417"],"URL":"https:\/\/doi.org\/10.1007\/bf01096417","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"value":"0925-5001","type":"print"},{"value":"1573-2916","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}