{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:16:23Z","timestamp":1742922983811,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642551949"},{"type":"electronic","value":"9783642551956"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-55195-6_59","type":"book-chapter","created":{"date-parts":[[2014,5,7]],"date-time":"2014-05-07T14:55:32Z","timestamp":1399474532000},"page":"623-633","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Using Quadratic Approximations in an Interval Method for Solving Underdetermined and Well-Determined Nonlinear Systems"],"prefix":"10.1007","author":[{"given":"Bart\u0142omiej Jacek","family":"Kubica","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,5,8]]},"reference":[{"key":"59_CR1","unstructured":"C-XSC interval library. http:\/\/www.xsc.de"},{"key":"59_CR2","unstructured":"Intel Threading Building Blocks. http:\/\/www.threadingbuildingblocks.org"},{"key":"59_CR3","unstructured":"OpenBLAS library. http:\/\/xianyi.github.com\/OpenBLAS\/"},{"key":"59_CR4","unstructured":"Non-polynomial nonlinear system benchmarks. https:\/\/www-sop.inria.fr\/coprin\/logiciels\/ALIAS\/Benches\/node2.html"},{"key":"59_CR5","unstructured":"Difficult benchmark problems. http:\/\/www-sop.inria.fr\/coprin\/logiciels\/ALIAS\/Benches\/node6.html"},{"issue":"3","key":"59_CR6","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/s10601-009-9076-1","volume":"15","author":"F Domes","year":"2010","unstructured":"Domes, F., Neumaier, A.: Constraint propagation on quadratic constraints. Constraints 15(3), 404\u2013429 (2010)","journal-title":"Constraints"},{"key":"59_CR7","series-title":"LNCS","first-page":"198","volume-title":"CP 2006","author":"A Goldsztejn","year":"2006","unstructured":"Goldsztejn, A., Jaulin, L.: Inner and outer approximations of existentially quantified equality constraints. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 198\u2013212. Springer, Heidelberg (2006)"},{"key":"59_CR8","volume-title":"Global Optimization Using Interval Analysis","author":"E Hansen","year":"2004","unstructured":"Hansen, E., Walster, W.: Global Optimization Using Interval Analysis. Marcel Dekker, New York (2004)"},{"key":"59_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"RB Kearfott","year":"1996","unstructured":"Kearfott, R.B.: Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht (1996)"},{"key":"59_CR10","unstructured":"Kearfott, R.B., Nakao, M.T., Neumaier, A., Rump, S.M., Shary, S.P., van Hentenryck, P.: Standardized notation in interval analysis. http:\/\/www.mat.univie.ac.at\/~neum\/software\/int\/notation.ps.gz (2002)"},{"key":"59_CR11","unstructured":"Kubica, B.J.: Interval methods for solving underdetermined nonlinear equations systems. SCAN 2008 Proceedings. Reliable Comput. 15(3), 207\u2013217 (2011)."},{"key":"59_CR12","first-page":"121","volume":"169","author":"BJ Kubica","year":"2009","unstructured":"Kubica, B.J.: Shared-memory parallelization of an interval equations systems solver - comparison of tools. Pr. Nauk Politech. Warszawskiej. Elektron. 169, 121\u2013128 (2009)","journal-title":"Pr. Nauk Politech. Warszawskiej. Elektron."},{"key":"59_CR13","series-title":"LNCS","first-page":"467","volume-title":"PPAM 2011, Part II","author":"BJ Kubica","year":"2012","unstructured":"Kubica, B.J.: Tuning the multithreaded interval method for solving underdetermined systems of nonlinear equations. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wa\u015bniewski, J. (eds.) PPAM 2011, Part II. LNCS, vol. 7204, pp. 467\u2013476. Springer, Heidelberg (2012)"},{"key":"59_CR14","unstructured":"Kubica, B. J.: Excluding regions using Sobol sequences in an interval branch-and-prune method for nonlinear systems. Presented ta SCAN2012 Conference, submitted to Reliable Computing."},{"issue":"5","key":"59_CR15","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/s11155-005-0047-y","volume":"11","author":"BJ Kubica","year":"2005","unstructured":"Kubica, B.J., Malinowski, K.: An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems. Reliable Comput. 11(5), 393\u2013411 (2005)","journal-title":"Reliable Comput."},{"key":"59_CR16","series-title":"LNCS","first-page":"504","volume-title":"PARA 2012","author":"BJ Kubica","year":"2013","unstructured":"Kubica, B.J., Wo\u017aniak, A.: Tuning the interval algorithm for seeking Pareto sets of multi-criteria problems. In: Manninen, P., \u00d6ster, P. (eds.) PARA 2012. LNCS, vol. 7782, pp. 504\u2013517. Springer, Heidelberg (2013)"},{"key":"59_CR17","volume-title":"Reliability in Computing","author":"A Neumaier","year":"1988","unstructured":"Neumaier, A.: The enclosure of solutions of parameter-dependent systems of equations. In: Moore, R. (ed.) Reliability in Computing. Academic Press, San Diego (1988)"},{"key":"59_CR18","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1023061927787","volume":"9","author":"A Neumaier","year":"2003","unstructured":"Neumaier, A.: Taylor forms - use and limits. Reliable Comput. 9, 43\u201379 (2003)","journal-title":"Reliable Comput."},{"key":"59_CR19","unstructured":"Shary, S. P.: Finite-difference Interval Analysis. XYZ (2010) (in Russian)"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-55195-6_59","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T16:28:16Z","timestamp":1676392096000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-55195-6_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642551949","9783642551956"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-55195-6_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 May 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}