References
- Alefeld, G., Kreinovich, V. and Mayer, G. (1997). On the shape of the symmetric, persymmetric, and skew-symmetric solution set, SIAM Journal on Matrix Analysis and Applications 18(3): 693-705.
- Alefeld, G., Kreinovich, V. and Mayer, G. (2003). On the solution sets of particular classes of linear interval systems, Journal of Computational and Applied Mathematics 152(1-2): 1-15.
- Alefeld, G. and Mayer, G. (1993). The Cholesky method for interval data, Linear Algebra and Its Applications 194: 161-182.
- Alefeld, G. andMayer, G. (2008). New criteria for the feasibility of the Cholesky method with interval data, SIAM Journal on Matrix Analysis and Applications 30(4): 1392-1405.
- Beeck, H. (1975). Zur Problematik der H¨ullenbestimmung von Intervallgleichungssystem en, in K. Nickel (Ed.), Interval Mathematics: Proceedings of the International Symposium on Interval Mathematics, Lecture Notes in Computer Science, Vol. 29, Springer, Berlin, pp. 150-159.
- Busłowicz, M. (2010). Robust stability of positive continuoustime linear systems with delays, International Journal of Applied Mathematics and Computer Science 20(4): 665-670, DOI: 10.2478/v10006-010-0049-8.
- Fiedler, M., Nedoma, J., Ram´ık, J., Rohn, J. and Zimmermann, K. (2006). Linear Optimization Problems with Inexact Data, Springer, New York, NY.
- Garloff, J. (2010). Pivot tightening for the interval Cholesky method, Proceedings in Applied Mathematics and Mechanics 10(1): 549-550.
- Hlad´ık, M. (2008). Description of symmetric and skewsymmetric solution set, SIAM Journal on Matrix Analysis and Applications 30(2): 509-521.
- Horn, R.A. and Johnson, C.R. (1985). Matrix Analysis, Cambridge University Press, Cambridge.
- Jansson, C. (1991). Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side, Computing 46(3): 265-274.
- Kolev, L.V. (2004). A method for outer interval solution of linear parametric systems, Reliable Computing 10(3): 227-239.
- Kolev, L.V. (2006). Improvement of a direct method for outer solution of linear parametric systems, Reliable Computing 12(3): 193-202.
- Merlet, J.-P. (2009). Interval analysis for certified numerical solution of problems in robotics, International Journal of Applied Mathematics and Computer Science 19(3): 399-412, DOI: 10.2478/v10006-009-0033-3.
- Meyer, C.D. (2000). Matrix Analysis and Applied Linear Algebra, SIAM, Philadelphia, PA.
- Neumaier, A. (1990). Interval Methods for Systems of Equations, Cambridge University Press, Cambridge.
- Neumaier, A. (1999). A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations, Reliable Computing 5(2): 131-136.
- Neumaier, A. and Pownuk, A. (2007). Linear systems with large uncertainties, with applications to truss structures, Reliable Computing 13(2): 149-172.
- Ning, S. and Kearfott, R.B. (1997). A comparison of some methods for solving linear interval equations, SIAM Journal on Numerical Analysis 34(4): 1289-1305.
- Padberg, M. (1999). Linear Optimization and Extensions, 2nd Edn., Springer, Berlin.
- Popova, E. (2002). Quality of the solution sets of parameterdependent interval linear systems, Zeitschrift f¨ur Angewandte Mathematik und Mechanik 82(10): 723-727.
- Popova, E.D. (2001). On the solution of parametrised linear systems, in W. Kr¨amer and J.W. von Gudenberg (Eds.), Scientific Computing, Validated Numerics, Interval Methods, Kluwer, London, pp. 127-138.
- Popova, E.D. (2004a). Parametric interval linear solver, Numerical Algorithms 37(1-4): 345-356.
- Popova, E.D. (2004b). Strong regularity of parametric interval matrices, in I. Dimovski (Ed.), Mathematics and Education in Mathematics, Proceedings of the 33rd Spring Conference of the Union of Bulgarian Mathematicians, Borovets, Bulgaria, BAS, Sofia, pp. 446-451.
- Popova, E.D. (2006a). Computer-assisted proofs in solving linear parametric problems, 12th GAMM/IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN 2006, Duisburg, Germany, p. 35.
- Popova, E.D. (2006b). Webcomputing service framework, International Journal Information Theories & Applications 13(3): 246-254.
- Popova, E.D. (2009). Explicit characterization of a class of parametric solution sets, Comptes Rendus de L’Academie Bulgare des Sciences 62(10): 1207-1216.
- Popova, E.D. and Kr¨amer, W. (2007). Inner and outer bounds for the solution set of parametric linear systems, Journal of Computational and Applied Mathematics 199(2): 310-316.
- Popova, E.D. and Kr¨amer, W. (2008). Visualizing parametric solution sets, BIT Numerical Mathematics 48(1): 95-115.
- Rex, G. and Rohn, J. (1998). Sufficient conditions for regularity and singularity of interval matrices, SIAM Journal on Matrix Analysis and Applications 20(2): 437-445.
- Rohn, J. (1989). Systems of linear interval equations, Linear Algebra and Its Applications 126(C): 39-78.
- Rohn, J. (1993). Cheap and tight bounds: The recent result by E. Hansen can be made more efficient, Interval Computations (4): 13-21.
- Rohn, J. (2004). A method for handling dependent data in interval linear systems, Technical Report 911, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, http://uivtx.cs.cas.cz/˜rohn/publist/rp911.ps.
- Rohn, J. (2010). An improvement of the Bauer-Skeel bounds, Technical Report V-1065, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, http://uivtx.cs.cas.cz/˜rohn/publist/bauerskeel.pdf.
- Rump, S.M. (1983). Solving algebraic problems with high accuracy, in U. Kulisch and W. Miranker (Eds.), A New Approach to Scientific Computation, Academic Press, New York, NY, pp. 51-120.
- Rump, S.M. (1994). Verification methods for dense and sparse systems of equations, in J. Herzberger (Ed.), Topics in Validated Computations, Studies in Computational Mathematics, Elsevier, Amsterdam, pp. 63-136.
- Rump, S.M. (2006). INTLAB-Interval Laboratory, the Matlab toolbox for verified computations, Version 5.3. http://www.ti3.tu-harburg.de/rump/intlab/.
- Rump, S.M. (2010). Verification methods: Rigorous results using floating-point arithmetic, Acta Numerica 19: 287-449.
- Schrijver, A. (1998). Theory of Linear and Integer Programming, Reprint Edn., Wiley, Chichester.
- Skalna, I. (2006). A method for outer interval solution of systems of linear equations depending linearly on interval parameters, Reliable Computing 12(2): 107-120.
- Skalna, I. (2008). On checking the monotonicity of parametric interval solution of linear structural systems, in R.
- Wyrzykowski, J. Dangarra, K. Karczewski and J. Wasniewski (Eds.), Parallel Processing and Applied Mathematics, Lecture Notes in Computer Science, Vol. 4967,
- Springer-Verlag, Berlin/Heidelberg, pp. 1400-1409.
- Stewart, G.W. (1998). Matrix Algorithms, Vol. 1: Basic Decompositions, SIAM, Philadelphia, PA.