{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:44:45Z","timestamp":1755218685451,"version":"3.43.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Computing"],"published-print":{"date-parts":[[2001,2]]},"DOI":"10.1023\/a:1011470916953","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T05:16:33Z","timestamp":1040620593000},"page":"17-28","source":"Crossref","is-referenced-by-count":26,"title":["Automatic Computation of a Linear Interval Enclosure"],"prefix":"10.1007","volume":"7","author":[{"given":"Lubomir V.","family":"Kolev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"335214_CR1","first-page":"1","volume":"6","author":"E. Baumann","year":"1986","unstructured":"Baumann, E.: Globale Optimierung stetig Differenzierbarer Funktionen einer Variablen, Freiburger Intervall-Berichte\n6 (1986), pp. 1\u201393.","journal-title":"Freiburger Intervall-Berichte"},{"key":"335214_CR2","volume-title":"Interval Mathematics","author":"E. Hansen","year":"1975","unstructured":"Hansen, E.: A Generalized Interval Arithmetic, in: Nickel, K. L. (ed.), Interval Mathematics, Springer Verlag, New York, 1975."},{"key":"335214_CR3","volume-title":"Global Optimization Using Interval Analysis","author":"E. Hansen","year":"1992","unstructured":"Hansen, E.: Global Optimization Using Interval Analysis, Marcel Dekker, New York, 1992."},{"key":"335214_CR4","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1090\/S0025-5718-1968-0229411-4","volume":"22","author":"E. Hansen","year":"1968","unstructured":"Hansen, E.: On Solving Systems of Equations Using Interval Arithmetic, Math. Comp.\n22 (1968), pp. 374\u2013384.","journal-title":"Math. Comp"},{"key":"335214_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"R. B. Kearfott","year":"1996","unstructured":"Kearfott, R. B.: Rigorous Global Search: Continuous Problems, Kluwer Academic Publishers, Dordrecht, 1996."},{"issue":"2","key":"335214_CR6","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1009981025255","volume":"4","author":"L. Kolev","year":"1998","unstructured":"Kolev, L.: A New Method for Global Solution of Systems of Non-Linear Equations, Reliable Computing\n4 (2) (1998), pp. 125\u2013146.","journal-title":"Reliable Computing"},{"key":"335214_CR7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1002\/(SICI)1097-007X(199801\/02)26:1<81::AID-CTA993>3.0.CO;2-P","volume":"26","author":"L. Kolev","year":"1998","unstructured":"Kolev, L.: An Efficient Interval Method for Global Analysis of Non-Linear Resistive Circuits, Int. J. Circ. Theor. Appl.\n26 (1998), pp. 81\u201392.","journal-title":"Int. J. Circ. Theor. Appl."},{"issue":"2","key":"335214_CR8","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1023\/A:1009935303343","volume":"5","author":"L. Kolev","year":"1999","unstructured":"Kolev, L.: An Improved Method for Global Solution of Non-Linear Systems, Reliable Computing\n5 (2) (1999), pp. 103\u2013111.","journal-title":"Reliable Computing"},{"key":"335214_CR9","doi-asserted-by":"crossref","DOI":"10.1142\/2039","volume-title":"Interval Methods for Circuit Analysis","author":"L. Kolev","year":"1993","unstructured":"Kolev, L.: Interval Methods for Circuit Analysis, World Scientific, Singapore, 1993."},{"key":"335214_CR10","first-page":"1443","volume":"29","author":"L. Kolev","year":"1989","unstructured":"Kolev, L.: Modified Mean-Value Interval Forms, J. of Computational Mathematics and Mathematical Physics\n29 (1989), pp. 1443\u20131457.","journal-title":"J. of Computational Mathematics and Mathematical Physics"},{"issue":"1","key":"335214_CR11","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1009902813842","volume":"3","author":"L. Kolev","year":"1997","unstructured":"Kolev, L.: Use of Interval Slopes for the Irrational Part of Factorable Functions, Reliable Computing\n3 (1) (1997), pp. 83\u201393.","journal-title":"Reliable Computing"},{"key":"335214_CR12","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1137\/0722037","volume":"22","author":"R. Krawczyk","year":"1985","unstructured":"Krawczyk, R. and Neumaier, A.: Interval Slopes for Rational Functions and Associated Centred Forms, SIAM J. Number. Anal.\n22 (1985), pp. 604\u2013616.","journal-title":"SIAM J. Number. Anal."},{"key":"335214_CR13","first-page":"13","volume-title":"The Third Int. Conf. on Electronics, Circuits and Systems (ICECS'96)","author":"V. Mladenov","year":"1996","unstructured":"Mladenov, V. and Kolev, L.: Interval Methods for Solving Cellular Neural Networks (CNNs) Equations, in: The Third Int. Conf. on Electronics, Circuits and Systems (ICECS'96), Rodos, Greece, 13\u201316 October, 1996."},{"key":"335214_CR14","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.: Methods and Applications of Interval Analysis, SIAM, Philadelphia, 1979."},{"key":"335214_CR15","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/BF01189986","volume":"47","author":"A. Neumaier","year":"1986","unstructured":"Neumaier, A.: Existence of Solutions of Piecewise Differentiable Systems of Equations, Arch. Math.\n47 (1986), pp. 443\u2013447.","journal-title":"Arch. Math"},{"key":"335214_CR16","doi-asserted-by":"crossref","unstructured":"Neumaier, A: Interval Methods for Systems of Equations, Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511526473"},{"key":"335214_CR17","first-page":"89","volume":"39","author":"S. Zuhe","year":"1990","unstructured":"Zuhe, S. and Wolfe, M. A.: On Interval Enclosures Using Slope Arithmetic, Appl. Math. Comput.\n39 (1990), pp. 89\u2013105.","journal-title":"Appl. Math. Comput."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011470916953.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011470916953\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011470916953.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:38:41Z","timestamp":1754473121000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011470916953"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,2]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,2]]}},"alternative-id":["335214"],"URL":"https:\/\/doi.org\/10.1023\/a:1011470916953","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[2001,2]]}}}