{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:13:49Z","timestamp":1725891229996},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314995"},{"type":"electronic","value":"9783642315008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31500-8_48","type":"book-chapter","created":{"date-parts":[[2012,7,3]],"date-time":"2012-07-03T15:09:08Z","timestamp":1341328148000},"page":"467-476","source":"Crossref","is-referenced-by-count":9,"title":["Tuning the Multithreaded Interval Method for Solving Underdetermined Systems of Nonlinear Equations"],"prefix":"10.1007","author":[{"given":"Bart\u0142omiej Jacek","family":"Kubica","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","unstructured":"C-XSC interval library, http:\/\/www.xsc.de"},{"key":"48_CR2","unstructured":"GLPK linear programming solver, http:\/\/www.gnu.org\/software\/glpk\/"},{"key":"48_CR3","unstructured":"Intel Threading Building Blocks, http:\/\/www.threadingbuildingblocks.org"},{"key":"48_CR4","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":"48_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/11758501_47","volume-title":"Computational Science \u2013 ICCS 2006","author":"F. Goualard","year":"2006","unstructured":"Goualard, F., Jermann, C.: On the Selection of a Transversal to Solve Nonlinear Systems with Interval Arithmetic. In: Alexandrov, V.N., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2006, Part I. LNCS, vol.\u00a03991, pp. 332\u2013339. Springer, Heidelberg (2006)"},{"key":"48_CR6","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":"48_CR7","unstructured":"Herbort, S., Ratz, D.: Improving the efficiency of a nonlinear-system-solver using the componentwise Newton method. Tech.rep. 2\/1997, Universit\u00e4t Karlsruhe (1997)"},{"key":"48_CR8","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, Dordrecht (1996)"},{"key":"48_CR9","unstructured":"Kearfott, R.B., Nakao, M.T., Neumaier, A., Rump, S.M., Shary, S.P., van Hentenryck, P.: Standardized notation in interval analysis (2002), http:\/\/www.mat.univie.ac.at\/~neum\/software\/int\/notation.ps.gz"},{"key":"48_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-28145-7_17","volume-title":"Applied Parallel and Scientific Computing","author":"W. Kr\u00e4mer","year":"2012","unstructured":"Kr\u00e4mer, W., Zimmer, M., Hofschuster, W.: Using C-XSC for High Performance Verified Computing. In: J\u00f3nasson, K. (ed.) PARA 2010, Part II. LNCS, vol.\u00a07134, pp. 168\u2013178. Springer, Heidelberg (2012)"},{"key":"48_CR11","unstructured":"Kubica, B.J.: Interval methods for solving underdetermined nonlinear equations systems. SCAN 2008 Proceedings. Reliable Computing\u00a015(3), 207\u2013217 (2011)"},{"key":"48_CR12","first-page":"121","volume":"169","author":"B.J. Kubica","year":"2009","unstructured":"Kubica, B.J.: Shared-memory parallelization of an interval equations systems solver \u2013 comparison of tools. Prace Naukowe Politechniki Warszawskiej. Elektronika\u00a0169, 121\u2013128 (2009)","journal-title":"Prace Naukowe Politechniki Warszawskiej. Elektronika"},{"key":"48_CR13","first-page":"111","volume":"169","author":"B.J. Kubica","year":"2009","unstructured":"Kubica, B.J.: Performance inversion of interval Newton narrowing operators. Prace Naukowe Politechniki Warszawskiej. Elektronika\u00a0169, 111\u2013119 (2009)","journal-title":"Prace Naukowe Politechniki Warszawskiej. Elektronika"},{"key":"48_CR14","unstructured":"Kubica, B.J.: Intel TBB as a tool for parallelization of an interval solver of nonlinear equations systems. Tech.rep. no 09-02, ICCE WUT (2009)"},{"key":"48_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-642-28145-7_14","volume-title":"Applied Parallel and Scientific Computing","author":"B.J. Kubica","year":"2012","unstructured":"Kubica, B.J., Wo\u017aniak, A.: Using the Second-Order Information in Pareto-set Computations of a Multi-criteria Problem. In: J\u00f3nasson, K. (ed.) PARA 2010, Part II. LNCS, vol.\u00a07134, pp. 137\u2013147. Springer, Heidelberg (2012)"},{"issue":"3","key":"48_CR16","doi-asserted-by":"publisher","first-page":"399","DOI":"10.2478\/v10006-009-0033-3","volume":"19","author":"J.-P. Merlet","year":"2009","unstructured":"Merlet, J.-P.: Interval analysis for certified numerical solution of problems in robotics. International Journal of Applied Mathematics and Computer Science\u00a019(3), 399\u2013412 (2009)","journal-title":"International Journal of Applied Mathematics and Computer Science"},{"key":"48_CR17","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01395309","volume":"42","author":"K.H. Meyn","year":"1983","unstructured":"Meyn, K.H.: Solution of underdetermined nonlinear equations by stationary iteration methods. Numerische Mathematik\u00a042, 161\u2013172 (1983)","journal-title":"Numerische Mathematik"},{"key":"48_CR18","doi-asserted-by":"crossref","unstructured":"Neumaier, A.: The enclosure of solutions of parameter-dependent systems of equations. In: Moore, R. (ed.) Reliability in Computing. Academic Press (1988)","DOI":"10.1016\/B978-0-12-505630-4.50020-1"},{"key":"48_CR19","doi-asserted-by":"crossref","unstructured":"Ratschek, H., Rokne, J.G.: Interval methods. In: Horst, R., Pardalos, P.M. (eds.) Handbook of Global Optimization. Kluwer (1995)","DOI":"10.1007\/978-1-4615-2025-2_14"},{"key":"48_CR20","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1137\/0719046","volume":"19","author":"W.C. Rheinboldt","year":"1982","unstructured":"Rheinboldt, W.C.: Computation of critical boundaries on equilibrium manifolds. SIAM Journal of Numerical Analysis\u00a019, 653\u2013669 (1982)","journal-title":"SIAM Journal of Numerical Analysis"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31500-8_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T03:26:10Z","timestamp":1642649170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31500-8_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314995","9783642315008"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31500-8_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}