{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T19:27:57Z","timestamp":1773084477879,"version":"3.50.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1997,9]]},"DOI":"10.1007\/bf02684394","type":"journal-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T05:04:49Z","timestamp":1186549489000},"page":"281-294","source":"Crossref","is-referenced-by-count":22,"title":["A verification method for solutions of nonsmooth equations","Eine Methode zur Verifizierung von L\u00f6sungen nicht-differenzierbarer Gleichungen"],"prefix":"10.1007","volume":"58","author":[{"given":"Xiaojun","family":"Chen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02684394_CR1","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1137\/0731013","volume":"31","author":"G. Alefeld","year":"1994","unstructured":"Alefeld, G., Gienger, A., Potra, F.: Efficient numerical validation of solutions of nonlinear systems. SIAM J. Numer. Anal.31, 252\u2013260 (1994).","journal-title":"SIAM J. Numer. Anal."},{"key":"BF02684394_CR2","volume-title":"Introduction to interval computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to interval computations. New York: Academic Press, 1983."},{"key":"BF02684394_CR3","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/BF00050844","volume":"42","author":"X. Chen","year":"1990","unstructured":"Chen, X.: On the convergence of Broyden-like methods for nonlinear equations with nondifferentiable terms. Ann. Inst. Stat. Math.42, 387\u2013401 (1990).","journal-title":"Ann. Inst. Stat. Math."},{"key":"BF02684394_CR4","doi-asserted-by":"crossref","unstructured":"Chen, X.: Convergence of the BFGS method for LC1 convex constrained optimization. SIAM J. Control Optim.34 (1996).","DOI":"10.1137\/S0363012994274823"},{"key":"BF02684394_CR5","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1080\/00207168908803762","volume":"29","author":"X. Chen","year":"1989","unstructured":"Chen, X., Wang, D.: On the optimal properties of the Krawczyk-type interval operator. Int J. Comput. Math.29, 235\u2013245 (1989).","journal-title":"Int J. Comput. Math."},{"key":"BF02684394_CR6","unstructured":"Chen, X., Nashed, M. Z., Qi, L.: Convergence of Newton\u2019s method for singular smooth and nonsmooth equations using outer inverses. SIAM J. Optim. (to appear)."},{"key":"BF02684394_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF02238652","volume":"49","author":"X. Chen","year":"1992","unstructured":"Chen, X., Yamamoto, T.: On the convergence of some quasi-Newton methods for nonlinear equations with nondifferentiable operators. Computing49, 87\u201394 (1992).","journal-title":"Computing"},{"key":"BF02684394_CR8","volume-title":"Optimization and nonsmooth analysis","author":"F. H. Clarke","year":"1983","unstructured":"Clarke, F. H.: Optimization and nonsmooth analysis. New York: Wiley 1983."},{"key":"BF02684394_CR9","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF02239746","volume":"42","author":"A. Frommer","year":"1989","unstructured":"Frommer, A., Mayer, G.: Safe bounds for the solutions of nonlinear problems using a parallel multisplitting method. Computing42, 171\u2013186 (1989).","journal-title":"Computing"},{"key":"BF02684394_CR10","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1137\/0727006","volume":"27","author":"A. Frommer","year":"1990","unstructured":"Frommer, A., Mayer, G.: On theR-order of Newton-like methods for enclosing solutions of nonlinear equations. SIAM J. Numer. Anal.27, 105\u2013116 (1990).","journal-title":"SIAM J. Numer. Anal."},{"key":"BF02684394_CR11","doi-asserted-by":"crossref","first-page":"586","DOI":"10.1287\/moor.17.3.586","volume":"17","author":"S. P. Han","year":"1992","unstructured":"Han, S. P., Pang, J. S., Rangaraj, N.: Globally convergent Newton methods for nonsmooth equations. Math Oper. Res.17, 586\u2013607 (1992).","journal-title":"Math Oper. Res."},{"key":"BF02684394_CR12","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF01580895","volume":"56","author":"C. M. Ip","year":"1992","unstructured":"Ip, C. M., Kyparisis, J.: Local convergence of quasi-Newton methods forB-differentiable equations. Math. Prog.56, 71\u201389 (1992).","journal-title":"Math. Prog."},{"key":"BF02684394_CR13","doi-asserted-by":"crossref","first-page":"1769","DOI":"10.1137\/0729099","volume":"29","author":"M. Heinkenschloss","year":"1992","unstructured":"Heinkenschloss, M., Kelley, C. T., Tran, H. T.: Fast algorithms for nonsmooth compact fixed point problems. SIAM J. Numer. Anal.29, 1769\u20131792 (1992).","journal-title":"SIAM J. Numer. Anal."},{"key":"BF02684394_CR14","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1515\/9783112479926-011","volume-title":"Advances in Mathematical Optimization","author":"B. Kummer","year":"1988","unstructured":"Kummer, B.: Newton\u2019s method for non-differentiable functions. In: Advances in Mathematical Optimization (Guddat, J., Bank, B., Hollatz, H., Kall, P., Klatte, D., Kummer, B., Lommatzsch, K., Tammer, L., Vlach, M., Zimmerman, K., eds.), pp. 114\u2013125. Berlin: Akademie-Verlag, 1988."},{"key":"BF02684394_CR15","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1007\/BF02193101","volume":"81","author":"L. Luk\u0161an","year":"1994","unstructured":"Luk\u0161an, L.: Inexact trust region method for large sparse systems of nonlinear equations. J. Optim. Theory Appl.81, 569\u2013590 (1994).","journal-title":"J. Optim. Theory Appl."},{"key":"BF02684394_CR16","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1137\/0315061","volume":"15","author":"R. Mifflin","year":"1977","unstructured":"Mifflin, R.: Semismooth and semiconvex functions in constrained optimization. SIAM J. Control Optim.15, 957\u2013972 (1977).","journal-title":"SIAM J. Control Optim."},{"key":"BF02684394_CR17","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1137\/0719060","volume":"19","author":"R. E. Moore","year":"1982","unstructured":"Moore, R. E., Qi, L.: A successive interval test for nonlinear systems. SIAM J. Numer. Anal.19, 845\u2013850 (1982).","journal-title":"SIAM J. Numer. Anal."},{"key":"BF02684394_CR18","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/BF01385696","volume":"66","author":"M. Z. Nashed","year":"1993","unstructured":"Nashed, M. Z., Chen, X.: Convergence of Newton-like methods for singular operator equations using outer inverses. Numer. Math.66, 235\u2013257 (1993).","journal-title":"Numer. Math."},{"key":"BF02684394_CR19","volume-title":"Iterative solution of nonlinear equations in several variables","author":"J. M. Ortega","year":"1970","unstructured":"Ortega, J. M., Rheinboldt, W. C.: Iterative solution of nonlinear equations in several variables. New York: Acacemic Press, 1970."},{"key":"BF02684394_CR20","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1287\/moor.15.2.311","volume":"15","author":"J. S. Pang","year":"1990","unstructured":"Pang, J. S.: Newton methods forB-differentiable equations. Math. Oper. Res.15, 311\u2013341 (1990).","journal-title":"Math. Oper. Res."},{"key":"BF02684394_CR21","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1137\/0803021","volume":"3","author":"J.S. Pang","year":"1993","unstructured":"Pang, J.S., Qi, L.: Nonsmooth equations: motivation and algorithms. SIAM J. Optim.3, 443\u2013465 (1993).","journal-title":"SIAM J. Optim."},{"key":"BF02684394_CR22","doi-asserted-by":"crossref","first-page":"851","DOI":"10.1137\/0719061","volume":"19","author":"L. Qi","year":"1982","unstructured":"Qi, L.: A note on the Moore test for nonlinear system. SIAM J. Numer. Anal.19, 851\u2013857 (1982).","journal-title":"SIAM J. Numer. Anal."},{"key":"BF02684394_CR23","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1287\/moor.18.1.227","volume":"18","author":"L. Qi","year":"1993","unstructured":"Qi, L.: Convergence analysis of some algorithms for solving nonsmooth equations. Math. Oper. Res.18, 227\u2013244 (1993).","journal-title":"Math. Oper. Res."},{"key":"BF02684394_CR24","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1137\/S036301299223619X","volume":"33","author":"L. Qi","year":"1995","unstructured":"Qi, L., Chen, X.: A globally convergent successive approximation method for nonsmooth equations. SIAM J. Control Optim.33, 402\u2013418 (1995).","journal-title":"SIAM J. Control Optim."},{"key":"BF02684394_CR25","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF01581275","volume":"58","author":"L. Qi","year":"1993","unstructured":"Qi, L., Sun, J.: A nonsmooth version of Newton\u2019s method. Math. Prog.58, 353\u2013367 (1993).","journal-title":"Math. Prog."},{"key":"BF02684394_CR26","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1287\/moor.19.2.352","volume":"19","author":"D. Ralph","year":"1994","unstructured":"Ralph, D.: Global convergence of damped Newton\u2019s method for nonsmooth equations via the path search. Math. Oper. Res.19, 352\u2013389 (1994).","journal-title":"Math. Oper. Res."},{"key":"BF02684394_CR27","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF01389624","volume":"49","author":"T. Yamamoto","year":"1986","unstructured":"Yamamoto, T.: A method for finding sharp error bounds for Newton\u2019s method under Kantorovich assumptions. Numer. Math.49, 203\u2013220 (1986).","journal-title":"Numer. Math."},{"key":"BF02684394_CR28","first-page":"1191","volume":"31","author":"T. Yamamoto","year":"1990","unstructured":"Yamamoto, T., Chen, X.: Validated methods for solving nonlinear systems. Inf. Proc.31, 1191\u20131196 (1990).","journal-title":"Inf. Proc."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02684394.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02684394\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02684394","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T18:23:34Z","timestamp":1684002214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02684394"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["BF02684394"],"URL":"https:\/\/doi.org\/10.1007\/bf02684394","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,9]]}}}