References

[BAT14]

  • K.-J. Bathe, Finite Element Procedures, Watertown, USA, 2014.

  • bibtex
    @book{Bathe2014,
	address = {Watertown, USA},
	author = {Bathe, Klaus-J{\"{u}}rgen},
	edition = {2},
	title = {{Finite Element Procedures}},
	year = {2014},
  url  = {https://web.mit.edu/kjb/www/Books/FEP_2nd_Edition_4th_Printing.pdf}
}

[HLA13]

  • M. Hladík. Bounds on eigenvalues of real and complex interval matrices. Appl. Math. Comput., 219(10):5584–5591, 2013.

  • bibtex
    @article{Hla2013a,
 author = "Milan Hlad\'{\i}k",
 title = "Bounds on eigenvalues of real and complex interval matrices",
 journal = "Appl. Math. Comput.",
 fjournal = "Applied Mathematics and Computation",
 volume = "219",
 number = "10",
 pages = "5584-5591",
 year = "2013",
 issn = "0096-3003",
 doi = "10.1016/j.amc.2012.11.075",
}

[HOR19]

  • J. Horácek, Interval Linear and Nonlinear Systems, PhD dissertation, 2019

  • bibtex
    @article{horavcek2019interval,
  title={Interval linear and nonlinear systems},
  author={Hor{\'a}{\v{c}}ek, Jaroslav},
  year={2019},
  publisher={Univerzita Karlova, Matematicko-fyzik{\'a}ln{\'\i} fakulta}
}

[JAU14]

  • L. Jaulin and B. Desrochers, Introduction to the algebra of separators with application to path planning, Engineering Applications of Artificial Intelligence 33 (2014): 141-147

  • bibtex
    @article{jaulin2014introduction,
  title={Introduction to the algebra of separators with application to path planning},
  author={Jaulin, Luc and Desrochers, Beno{\^\i}t},
  journal={Engineering Applications of Artificial Intelligence},
  volume={33},
  pages={141--147},
  year={2014},
  publisher={Elsevier}
}

[NEU90]

  • A. Neumaier, Interval methods for systems of equations, Cambridge university press, 1990

  • bibtex
    @book{neumaier1990interval,
  title={Interval methods for systems of equations},
  author={Neumaier, Arnold and Neumaier, Arnold},
  number={37},
  year={1990},
  publisher={Cambridge university press}
}

[OET64]

  • W. Oettli and W. Prager, Compatibility of approximate solution of linear equations with given error bounds for coefficients and right-hand sides, Numerische Mathematik, 6(1):405–409, 1964.

  • bibtex
    @article{oettli1964compatibility,
  title={Compatibility of approximate solution of linear equations with given error bounds for coefficients and right-hand sides},
  author={Oettli, Werner and Prager, William},
  journal={Numerische Mathematik},
  volume={6},
  number={1},
  pages={405--409},
  year={1964},
  publisher={Springer}
}

[ROH06]

  • J. Rohn. Solvability of systems of interval linear equations and inequalities, Linear optimization problems with inexact data, pages 35–77. Springer, 2006

  • bibtex
    @incollection{rohn2006solvability,
  title={Solvability of systems of interval linear equations and inequalities},
  author={Rohn, Jir{\i}},
  booktitle={Linear optimization problems with inexact data},
  pages={35--77},
  year={2006},
  publisher={Springer}
}

[ROH95]

  • J. Rohn and V. Kreinovich. Computing exact componentwise bounds on solutions of lineary systems with interval data is NP-hard. SIAM Journal on Matrix Analysis and Applications, 16(2):415–420, 1995.

  • bibtex
    @article{rohn1995computing,
  title={Computing exact componentwise bounds on solutions of lineary systems with interval data is NP-hard},
  author={Rohn, Jiri and Kreinovich, Vladik},
  journal={SIAM Journal on Matrix Analysis and Applications},
  volume={16},
  number={2},
  pages={415--420},
  year={1995},
  publisher={SIAM}
}

[RUM10]

  • S.M. Rump, Verification methods: Rigorous results using floating-point arithmetic, Acta Numerica, 19:287–449, 2010

  • bibtex
    @article{rump2010verification,
  title={Verification methods: Rigorous results using floating-point arithmetic},
  author={Rump, Siegfried M},
  journal={Acta Numerica},
  volume={19},
  pages={287--449},
  year={2010},
  publisher={Cambridge University Press}
}

[RUM01]

  • Rump, Siegfried M. Computational error bounds for multiple or nearly multiple eigenvalues, Linear algebra and its applications 324.1-3 (2001): 209-226.

  • bibtex
    @article{rump2001computational,
  title={Computational error bounds for multiple or nearly multiple eigenvalues},
  author={Rump, Siegfried M},
  journal={Linear algebra and its applications},
  volume={324},
  number={1-3},
  pages={209--226},
  year={2001},
  publisher={Elsevier}
}

[RUM99]

  • Rump, Siegfried M. Fast and parallel interval arithmetic, BIT Numerical Mathematics 39.3, 534-554, 1999

  • bibtex
    @article{rump1999fast,
  title={Fast and parallel interval arithmetic},
  author={Rump, Siegfried M},
  journal={BIT Numerical Mathematics},
  volume={39},
  number={3},
  pages={534--554},
  year={1999},
  publisher={Springer}
}

[SKA06]