Improved solution enclosures for over- And underdetermined interval linear systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3743 LNCS, Issue , 2006, Pages 305-312

  Popova, Evgenija D ^a  

^a INSTITUTE OF MATHEMATICS AND INFORMATICS   (Bulgaria)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA REDUCTION; FUNCTIONS; NUMERICAL ANALYSIS; PARAMETER ESTIMATION; PROBLEM SOLVING; UNCERTAIN SYSTEMS;

INTERVAL LINEAR SYSTEMS; RECTANGULAR DENSE LINEAR SYSTEMS; RECTANGULAR PROBLEMS;

LINEAR SYSTEMS;

EID: 33745313715     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11666806_34     Document Type: Conference Paper

References (12)

1. Hölbig, C.; Krämer W.: Selfverifying Solvers for Dense Systems of Linear Equations Realized in C-XSC. Universität Wuppertal, Preprint BUGHW-WRSWT 2003/1, 2003. (http://wwv.math.uni-Wuppertal.de/wrsvt/literatur. html)
2. Krämer W.; Kulisch, U.; Lohner, R.: Numerical Toolbox for Verified Computing II - Advanced Numerical Problems. Universität Karlsruhe, 1994. (http://wwv.uni-karlsruhe.de~Rudolf.Lohner/papers/tb2.ps.gz)
3. Moore, R.: Methods and Applications of Interval Analysis. SIAM, Philadelphia, 1979.
4. Popova, E.D.; Krämer, W.; Parametric Fixed-Point Iteration Implemented in C-XSC, Preprint 2003/03, WRSWT, Universität Wuppertal, 2003.
5. Popova, E.: Parametric Interval Linear Solver. Numerical Algorithms, 37 (2004) 1-4, 345-356.
6. Rump, S.: Solving Algebraic Problems with High Accuracy. In: Kulisch, U. and Miranker, W. (eds.): A New Approach in Scientific Computation. Academic Press (1983) 51-120.
7. Rump, S. M.: Rigorous Sensistivity Analysis for Systems of Linear and Nonlinear Equations, Mathematics of Computation 54, 190, (1990), 721-736.
8. Rump, S. M.: Verification Methods for Dense and Sparse Systems of Equations, in Topics in Validated Computations, J. Herzberger, ed., Eisevier Science B. V. (1994), 63-135.
9. Stewart G.H.: Introduction to Matrix Computations. Academic Press, N.Y., 1973.
10. Wolfram, S.: The Mathematica Book, Wolfram Media/Cambridge U. Press, 1999.
11. Zielke, G.: Report on test matrices for generalized inverses, Computing 36 (1986) 105-162.
12. Zielke, G.; Drygalla, V.: Genaue Lösung linearer Gleichungssyteme, Mitteilungen der-GAMM 26 (2003) Heft 1/2, 7-107.