Numerical validation of solutions of linear complementarity problems

Numerische Mathematik

Volumn 83, Issue 1, 1999, Pages 1-23

  Alefeld, G E ^a   Chen, X ^b   Potra, F A ^c  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b SHIMANE UNIVERSITY   (Japan)

^c UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033419127     PISSN: 0029599X     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002110050437     Document Type: Article

References (32)

1. Alefeld, G.E. (1981): Bounding the slopes of polynomial operators and some applications. Computing 26, 227-237
2. Alefeld, G.E., Gienger, A., Potra, F.A. (1994): Efficient numerical validation of solutions of nonlinear systems. SIAM J. Numer. Anal. 31, 252-260
3. Alefeld, G.E., Herzberger, J. ( 1983): Introduction to Interval Computations. Academic Press, New York and London
4. Chen, X. (1997): A verification method for solutions of nonsmooth equations. Computing 58, 281-294
5. Chen, X., Wang, D. (1989): On the optimal properties of the Krawczyk-type interval operator. Inter. J. Comp. Math. 29, 235-245
6. Chen, X., Womersley, R.S.: Random test problems and parallel methods for quadratic programs and quadratic stochastic programs. Applied Mathematics Report 95/21, School of Mathematics, University of New South Wales, Sydney
7. Chen, X., Yamamoto, T. (1992): On the convergence of some quasi-Newton methods for nonlinear equations with nondifferentiable operators. Computing 49, 87-94
8. Clarke, FH. (1983): Optimization and Nonsmooth Analysis. John Wiley, New York
9. Fathi, Y. (1979): Computational complexity of LCPs associated with positive definite matrices. Math. Programming 17, 335-344
10. Ferris, M.C., Pang, J.S., eds. ( 1997): Complementarity problems: State of the art. SIAM Publications, Philadelphia
11. Fischer, A. (1992): A special Newton-type optimization method. Optimization 24, 269-284
12. Frommer, A., Mayer, G. (1990): On the R-order of Newton-like methods for enclosing solutions of nonlinear equations. SIAM J. Numer. Anal. 27, 105-116
13. Hammer, R., Hocks, M., Kulisch, U., Ratz, D. (1993): Numerical Toolbox for Verified Computing I. Springer Verlag, Berlin
14. Hansen, E. (1992): Global Optimization Using Interval Analysis. Marcel Dekker, Inc., New York
15. Kearfott, R.B. (1996): Rigorous Global Search: Continuous Problems. Kluwer Academic Publishers, Dordrecht
16. Klatte, R., Kulisch, U., Neaga, M., Ullrich, Ch. (1992): PASCAL-XSC - Language Reference with Examples. Springer-Verlag, Berlin
17. Krawczyk, R., Neumaier, A. ( 1985): Interval slopes for retional functions and associated centered forms. SIAM J. Numer. Anal. 22, 604-616
18. Leighton, FT. (1992): Introduction to Parallel Algorithms and Architectures : Arrays·Trees· Hypercubes, Norgan Kaufmann Publishers, California
19. Lenard, M.L., Minkoff, M. (1984): Randomly generated test problems for positive definite quadratic programming. ACM Transactions on Mathematical Software 10, 86-96
20. Luenberger, D.G. (1978): Linear and Nonlinear Programming. second edition, Addison-Wesley, Amsterdam
21. Mangasarian, O.L. (1976): Equivalence of the complementarity problem to a system of nonlinear equations. SIAM J. Appl. Math. 31, 89-92
22. Mangasarian, O.L. ( 1977): Solution of symmetric linear complementarity problems by iterative methods. J. Optim. Theory Appl. 22, 465-85
23. Murty, K.G. (1998): Linear Complementarity, Linear and Nonlinear Programming. Sigma Series in Applied Mathematics 3, Heldermann, Berlin
24. Pang, J.S. (1990): Newton methods for B-differentiable equations. Math. Oper. Res. 15,311-341
25. Pang, J.S. (1994): Complementarity problems. in: Horst, R., Pardalos, P., eds., Handbook of Global Optimization, (Kluwer Academic Publishers, Boston) pp. 271-338
26. Pang, J.S., Qi, L. (1993): Nonsmooth equations: motivation and algorithms. SIAM J. Optim. 3, 443-465
27. Royden, H.L. (1970): Real Analysis. Macmillan, Toronto
28. Rump, S.M. (1994): Verification methods for dense and sparse systems of equations. in Herzberger J. (ed.): Topics in Validated Computations - Studies in Computational Mathematics. Elsevier, Amsterdam, pp. 63-136
29. Rump, S.M.: Expansion and estimation of the range of nonlinear functions. Math. Comp., to appear
30. Stewart, G.W. (1980): The efficient generation of random orthogonal matrixes with an application to condition estimators. SIAM J. Numerical Analysis 17, 403-409
31. Wright, S.J. (1996): Primal-dual interior-point methods. SIAM Publications, Philadelphia
32. Yamamoto, T., Chen, X. (1990): Validated methods for solving nonlinear systems. Inform. Process. 31, 1191-1196