{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,10]],"date-time":"2025-05-10T08:07:22Z","timestamp":1746864442168},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,3,24]],"date-time":"2015-03-24T00:00:00Z","timestamp":1427155200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Numer Algor"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s11075-015-9980-y","type":"journal-article","created":{"date-parts":[[2015,3,23]],"date-time":"2015-03-23T02:09:33Z","timestamp":1427076573000},"page":"929-963","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems"],"prefix":"10.1007","volume":"70","author":[{"given":"Bart\u0142omiej Jacek","family":"Kubica","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,24]]},"reference":[{"key":"9980_CR1","unstructured":"C++ extended scientific computing library. http:\/\/www.xsc.de (2013)"},{"key":"9980_CR2","unstructured":"Intel Threading Building Blocks. http:\/\/www.threadingbuildingblocks.org (2013)"},{"key":"9980_CR3","unstructured":"OpenBLAS library. http:\/\/xianyi.github.com\/OpenBLAS\/ (2013)"},{"key":"9980_CR4","unstructured":"Difficult benchmark problems. http:\/\/www-sop.inria.fr\/coprin\/logiciels\/ALIAS\/Benches\/node6.html (2014)"},{"key":"9980_CR5","unstructured":"GNU linear programming kit. http:\/\/www.gnu.org\/software\/glpk\/ (2014)"},{"key":"9980_CR6","unstructured":"Non-polynomial nonlinear system benchmarks. https:\/\/www-sop.inria.fr\/coprin\/logiciels\/ALIAS\/Benches\/node2.html (2014)"},{"key":"9980_CR7","unstructured":"Realpaver. nonlinear constraint solving & rigorous global optimization. http:\/\/pagesperso.lina.univ-nantes.fr\/info\/perso\/permanents\/granvil\/realpaver\/ (2014)"},{"key":"9980_CR8","unstructured":"Sobol sequence generator. http:\/\/web.maths.unsw.edu.au\/fkuo\/sobol\/ (2014)"},{"key":"9980_CR9","doi-asserted-by":"crossref","unstructured":"Beelitz, T., Bischof, C.H., Lang, B.: A hybrid subdivision strategy for result-verifying nonlinear solvers. Tech. Rep. 04\/8, Bergische Universiti\u00e4t Wuppertal (2004)","DOI":"10.1002\/pamm.200410297"},{"key":"9980_CR10","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising hull and box consistency. In: International Conference on Logic Programming, pp 230\u2013244. The MIT Press (1999)"},{"key":"9980_CR11","unstructured":"Benhamou, F., McAllester, D., Hentenryck, P.V.: CLP(intervals) revisited. In: Logic Programming, Proceedings of the 1994 International Symposium, pp 124\u2013138. The MIT Press (1994)"},{"key":"9980_CR12","unstructured":"van Emden, M.H.: Computing functional and relational box consistency by structured propagation in atomic constraint systems. arXiv: preprintcs\/0106008 (2001)"},{"key":"9980_CR13","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/11889205_16","volume":"4204","author":"A Goldsztejn","year":"2006","unstructured":"Goldsztejn, A., Jaulin, L.: Inner and outer approximations of existentially quantified equality constraints. Lect. Notes Comput. Sci. 4204, 198\u2013212 (2006)","journal-title":"Lect. Notes Comput. Sci."},{"key":"9980_CR14","doi-asserted-by":"crossref","unstructured":"Goualard, F.: On considering an interval constraint solving algorithm as a free-steering nonlinear Gauss-Seidel procedure. In: Proceedings of the 2005 ACM Symposium on Applied Computing, SAC \u201905, pp.1434\u20131438, ACM, New York, NY, USA (2005). doi: 10.1145\/1066677.1067004","DOI":"10.1145\/1066677.1067004"},{"issue":"1-2","key":"9980_CR15","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/s10601-007-9027-7","volume":"13","author":"F Goualard","year":"2008","unstructured":"Goualard, F., Jermann, C.: A reinforcement learning approach to interval constraint propagation. Constraints 13(1-2), 206\u2013226 (2008)","journal-title":"Constraints"},{"issue":"2","key":"9980_CR16","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1011266226870","volume":"20","author":"L Granvilliers","year":"2001","unstructured":"Granvilliers, L., Benhamou, F.: Progress in the solving of a circuit design problem. J. Glob. Optim. 20(2), 155\u2013168 (2001)","journal-title":"J. Glob. Optim."},{"issue":"1","key":"9980_CR17","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1145\/1132973.1132980","volume":"32","author":"L Granvilliers","year":"2006","unstructured":"Granvilliers, L., Benhamou, F.: Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques. ACM Trans. Math. Softw. (TOMS) 32(1), 138\u2013156 (2006)","journal-title":"ACM Trans. Math. Softw. (TOMS)"},{"key":"9980_CR18","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)"},{"issue":"4","key":"9980_CR19","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1007\/s10601-012-9126-y","volume":"17","author":"D Ishii","year":"2012","unstructured":"Ishii, D., Goldsztejn, A., Jermann, C.: Interval-based projection method for under-constrained numerical systems. Constraints 17(4), 432\u2013460 (2012)","journal-title":"Constraints"},{"key":"9980_CR20","doi-asserted-by":"crossref","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)"},{"issue":"1-4","key":"9980_CR21","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1023\/B:NUMA.0000049468.03595.4c","volume":"37","author":"LV Kolev","year":"2004","unstructured":"Kolev, L.V.: An improved interval linearization for solving nonlinear problems. Numeri. Algorithm. 37(1-4), 213\u2013224 (2004)","journal-title":"Numeri. Algorithm."},{"key":"9980_CR22","unstructured":"Kubica, B.J.: Intel TBB as a tool for parallelization of an interval solver of nonlinear equations systems. Tech. Rep. 09-02, ICCE WUT (2009)"},{"key":"9980_CR23","first-page":"111","volume":"169","author":"BJ Kubica","year":"2009","unstructured":"Kubica, B.J.: Performance inversion of interval Newton narrowing operators. Prace Naukowe Politechniki Warszawskiej. Elektronika 169, 111\u2013119 (2009). KAEiOG 2009 Proceedings","journal-title":"Elektronika"},{"key":"9980_CR24","first-page":"121","volume":"169","author":"BJ Kubica","year":"2009","unstructured":"Kubica, B.J.: Shared-memory parallelization of an interval equations systems solver \u2013 comparison of toos. Prace Naukowe Politechniki Warszawskiej. Elektronika 169, 121\u2013128 (2009). KAEiOG, 2009 Proceedings","journal-title":"Elektronika"},{"key":"9980_CR25","first-page":"207","volume":"15","author":"BJ Kubica","year":"2011","unstructured":"Kubica, B.J.: Interval methods for solving underdetermined nonlinear equations systems. Reliable Computing 15, 207\u2013217 (2011). SCAN 2008 Proceedings","journal-title":"Reliable Computing"},{"key":"9980_CR26","unstructured":"Kubica, B.J.: Exclusion regions in the interval solver of underdetemined nonlinear systems. Tech. Rep. 12-01, ICCE WUT (2012)"},{"key":"9980_CR27","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/978-3-642-31500-8_48","volume":"7204","author":"BJ Kubica","year":"2012","unstructured":"Kubica, B.J.: Tuning the multithreaded interval method for solving underdetermined systems of nonlinear equations. Lect. Notes Comput. Sci. 7204, 467\u2013476 (2012). PPAM 2011 Proceedings","journal-title":"Lect. Notes Comput. Sci."},{"issue":"4","key":"9980_CR28","first-page":"385","volume":"19","author":"BJ Kubica","year":"2014","unstructured":"Kubica, B.J.: Excluding regions using Sobol sequences in an interval branch-and-prune method for nonlinear systems. Reliab. Comput. 19(4), 385\u2013397 (2014). SCAN 2012 Proceedings","journal-title":"Reliab. Comput."},{"key":"9980_CR29","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1007\/978-3-642-55195-6_59","volume":"8385","author":"BJ Kubica","year":"2014","unstructured":"Kubica, B.J.: Using quadratic approximations in an interval method for solving underdetermined and well-determined nonlinear systems. Lect. Notes Comput. Sci. 8385, 623\u2013633 (2014). PPAM 2013 Proceedings","journal-title":"Lect. Notes Comput. Sci."},{"key":"9980_CR30","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-642-28145-7_14","volume":"7134","author":"BJ Kubica","year":"2012","unstructured":"Kubica, B.J., Wo\u017aniak, A.: Using the second-order information in Pareto-set computations of a multi-criteria problem. Lect. Notes Comput. Sci. 7134, 137\u2013147 (2012). PARA 2010 Proceedings","journal-title":"Lect. Notes Comput. Sci."},{"key":"9980_CR31","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF01395309","volume":"42","author":"KH Meyn","year":"1983","unstructured":"Meyn, K.H.: Solution of underdetermined nonlinear equations by stationary iteration methods. Numer. Math. 42, 161\u2013172 (1983)","journal-title":"Numer. Math."},{"key":"9980_CR32","doi-asserted-by":"crossref","unstructured":"Neumaier, A.: The enclosure of solutions of parameter-dependent systems of equations. In: Reliability in Computing, pp. 269\u2013286. Academic Press (1988)","DOI":"10.1016\/B978-0-12-505630-4.50020-1"},{"issue":"1","key":"9980_CR33","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1023\/A:1008236911603","volume":"13","author":"JF Puget","year":"1998","unstructured":"Puget, J.F., Hentenryck, P.V.: A constraint satisfaction approach to a circuit design problem. J. Glob. Optim. 13(1), 75\u201393 (1998)","journal-title":"J. Glob. Optim."},{"issue":"4","key":"9980_CR34","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/BF01096417","volume":"3","author":"H Ratschek","year":"1993","unstructured":"Ratschek, H., Rokne, J.: Experiments using interval analysis for solving a circuit design problem. J. Glob. Optim. 3(4), 501\u2013518 (1993)","journal-title":"J. Glob. Optim."},{"key":"9980_CR35","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1137\/0719046","volume":"19","author":"WC Rheinboldt","year":"1982","unstructured":"Rheinboldt, W.C.: Computation of critical boundaries on equilibrium manifolds. SIAM J. Numer. Anal. 19, 653\u2013669 (1982)","journal-title":"SIAM J. Numer. Anal."},{"key":"9980_CR36","doi-asserted-by":"crossref","first-page":"1653","DOI":"10.1023\/B:AURC.0000044274.25098.da","volume":"65","author":"SP Shary","year":"2004","unstructured":"Shary, S.P.: An interval linear tolerance problem. Autom. Remote. Control. 65, 1653\u20131666 (2004)","journal-title":"Autom. Remote. Control."},{"key":"9980_CR37","unstructured":"Shary, S.P.: Finite-dimensional Interval Analysis. XYZ. Electronic book (in Russian). (accessed 2014.05.15) (2013). http:\/\/www.nsc.ru\/interval\/Library\/InteBooks\/SharyBook.pdf"}],"container-title":["Numerical Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11075-015-9980-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11075-015-9980-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11075-015-9980-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,3]],"date-time":"2022-05-03T17:43:38Z","timestamp":1651599818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11075-015-9980-y"}},"subtitle":["Empirical evaluation of innovations"],"short-title":[],"issued":{"date-parts":[[2015,3,24]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["9980"],"URL":"https:\/\/doi.org\/10.1007\/s11075-015-9980-y","relation":{},"ISSN":["1017-1398","1572-9265"],"issn-type":[{"value":"1017-1398","type":"print"},{"value":"1572-9265","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,24]]}}}