Inner and outer bounds for the solution set of parametric linear systems

Journal of Computational and Applied Mathematics

Volumn 199, Issue 2, 2007, Pages 310-316

  Popova, Evgenija ^a   Krämer, Walter ^b  

^a INSTITUTE OF MATHEMATICS AND INFORMATICS   (Bulgaria)

^b UNIVERSITY OF WUPPERTAL   (Germany)

Author keywords

C XSC; Inner estimation; Parametric linear systems; Validated software

Indexed keywords

C-XSC; INNER ESTIMATION; PARAMETRIC LINEAR SYSTEMS; VALIDATED SOFTWARE;

ALGORITHMS; APPROXIMATION THEORY; COMPUTER SOFTWARE; ITERATIVE METHODS; PARAMETER ESTIMATION; SET THEORY;

LINEAR SYSTEMS;

EID: 33749650826     PISSN: 03770427     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cam.2005.08.048     Document Type: Article

References (12)

1. Dessombz O., et al. Analysis of mechanical systems using interval computations applied to finite element methods. J. Sound Vibration 239 5 (2001) 949-968
2. Gardeñes E., and Trepat A. Fundamentals of SIGLA, an interval computing system over the completed set of intervals. Computing 24 (1980) 161-179
3. Hammer R., Hocks M., Kulisch U., and Ratz D. C ++ Toolbox for Verified Computing: Basic Numerical Problems (1995), Springer, Berlin, Heidelberg, New York
4. W. Hofschuster, W. Krämer, C-XSC 2.0 - A C ++ class library for extended scientific computing, in: R. Alt, et al., (Eds.), Numerical Software with Result Verification, Lecture Notes in Computer Science, vol. 2991, Springer, Berlin, 2004, pp. 15-35.
5. Kaucher E. Interval analysis in the extended interval space IR. Computing 2 Suppl. (1980) 33-49
6. Klatte R., Kulisch U., Lawo C., Rauch M., and Wiethoff A. C-XSC, A C ++ Class Library for Extended Scientific Computing (1993), Springer, Berlin
7. R. Muhanna, et al., Penalty-based solution for the interval finite element, presentation at First Scandinavian Workshop on Interval Methods and their Applications, TU Denmark, 2003 〈http://www.imm.dtu.dk/∼km/int-03/Slides/〉.
8. E.D. Popova, Strong regularity of parametric interval matrices, in: Mathematics and Education in Mathematics, Proceedings of the 33rd Spring Conference of UBM, Borovetz, 2004, 446-451 〈http://www.math.bas.bg/∼epopova/papers/〉.
9. Popova E.D. Generalizing the parametric fixed-point iteration. PAMM-Proc. Appl. Math. Mech. 4 (2004) 680-681
10. E.D. Popova, W. Krämer, Parametric fixed-point iteration implemented in C-XSC, preprint 2003/03, WRSWT, Universität Wuppertal, 2003, 1-27.
11. Rump S. Rigorous sensitivity analysis for systems of linear and nonlinear equations. Math. Comput. 54 190 (1990) 721-736
12. Rump S. Verification methods for dense and sparse systems of equations. In: Herzberger J. (Ed). Topics in Validated Computations (1994), North-Holland, Amsterdam 63-135