Jiri Rohn, List of publications

The Equation |x|-|Ax|=b. Technical Report No. 1277, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2020, 6 p. http://hdl.handle.net/11104/0307902

Globalni implicitni funkce (Global Implicit Funktion (in Czech)). Technical Report No. 1276, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2020, 35 p. http://hdl.handle.net/11104/0307900

Generalization of a Theorem on Eigenvalues of Symmetric Matrices. Technical Report No. 1271, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2019, 3 p. http://hdl.handle.net/11104/0298342

Rozhodovanl za neurcitosti: Pohled matematika na planovane hospodarstvi (Decision Making Under Uncertainty: A Mathematician's View of Planned Economy (in Czech)). Technical Report No. 1269, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2019, 12 p. http://hdl.handle.net/11104/0297666

Does a Singular Symmetric Interval Matrix Contain a Symmetric Singular Matrix? Technical Report No. 1268, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2019, 5 p. http://hdl.handle.net/11104/0297149

Absolute Value Mapping. Technical Report No. 1266, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2019, 3 p. http://hdl.handle.net/11104/0296140

Overdetermined Absolute Value Equations. Technical Report No. 1265, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2019, 3 p. http://hdl.handle.net/11104/0295667

Diagonally Singularizable Matrices. Linear Algebra and Its Applications 555 (2018), 84-91. https://doi.org/10.1016/j.laa.2018.06.010

J. Rohn and S. P. Shary, Interval Matrices: Regularity Generates Singularity. Linear Algebra and Its Applications 540 (2018), 149-159. https://doi.org/10.1016/j.laa.2017.11.020

A Sufficient Condition for an Interval Matrix to Have Full Column Rank. Journal of Computational Technologies 22 (2017), 59-66. http://hdl.handle.net/11104/0271644

Interval Matrices: Regularity Yields Singularity. Technical Report No. 1239, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2016, 3 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0465642-Interval-Matrices-Regularity-Yields-Singularity/

Report on the Last Work by Dr. Erich Nuding. Technical Report No. 1235, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2016, 8 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0465641-Report-on-the-Last-Work-by-Dr-Erich-Nuding/

Theoretical Characterization of Enclosures. Reliable Computing 21 (2016), 140-145. http://interval.louisiana.edu/reliable-computing-journal/volume-21/reliable-computing-21-pp-140-145.pdf

M. Hladik and J. Rohn, Radii of Solvability and Unsolvability of Linear Systems. Linear Algebra and Its Applications 503 (2016), 120-134. http://www.sciencedirect.com/science/article/pii/S0024379516300374

The Solution Set of Interval Linear Equations is Homeomorphic to the Unit Cube: An Explicit Construction. Reliable Computing 21 (2015), 25-34. http://interval.louisiana.edu/reliable-computing-journal/volume-21/reliable-computing-21-pp-025-034.pdf

Verification of Linear (In)Dependence in Finite Precision Arithmetic. Mathematics in Computer Science 8 (2014), 323-328. http://dx.doi.org/10.1007/s11786-014-0196-7

A Hybrid Method for Solving Absolute Value Equations. Technical Report No. 1223, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2014, 3 p. http://hdl.handle.net/11104/0233892

A New Proof of the Hansen-Bliek-Rohn Optimality Result. Technical Report No. 1212, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2014, 6 p. http://www.library.sk/arl-cav/sk/detail-cav_un_epca-0427095-A-New-Proof-of-the-HansenBliekRohn-Optimality-Result/

Explicit Form of Matrices $Q_z$ for an Interval Matrix with Unit Midpoint. Technical Report No. 1206, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2014, 5 p. http://www.library.sk/arl-cav/sk/detail-cav_un_epca-0425451-/

A Reduction Theorem for Absolute Value Equations. Technical Report No. 1204, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2014, 7 p. http://www.library.sk/arl-cav/sk/detail-cav_un_epca-0425071-/

A Class of Explicitly Solvable Absolute Value Equations. Technical Report No. 1202, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2014, 4 p. http://www.library.sk/arl-cav/sk/detail-cav_un_epca-0424937-/

A Two-Matrix Alternative. Electronic Journal of Linear Algebra 26 (2013), 836-841. http://www.math.technion.ac.il/iic/ela/ela-articles/articles/vol26_pp836-841.pdf

A Triple Sufficient Condition for Regularity of Interval Matrices. Technical Report No. 1185, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2013, 6 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0394027-A-Triple-Sufficient-Condition-for-Regularity-of-Interval-Matrices/

A Farkas-Type Theorem for Interval Linear Inequalities. Optimization Letters 8 (2014), 1591-1598. http://dx.doi.org/10.1007/s11590-013-0675-9

A Bendixson-Type Theorem for Eigenvalues of Interval Matrices. Technical Report No. 1184, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2013, 3 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0394026-A-BendixsonType-Theorem-for-Eigenvalues-of-Interval-Matrices/

Letter to the Editor. Linear and Multilinear Algebra 61 (2013), 697-698. http://dx.doi.org/10.1080/03081087.2012.698617

A Manual of Results on Interval Linear Problems. Technical Report No. 1164, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 307 p. http://www.library.sk/i2/i2.entry.cls?ictx=cav&language=1&op=detail&idx=cav_un_epca*0381706

A Handbook of Results on Interval Linear Problems. Technical Report No. 1163, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 75 p. http://www.library.sk/i2/i2.entry.cls?ictx=cav&language=1&op=detail&idx=cav_un_epca*0381680

$(Z,z)$-Solutions. Technical Report No. 1159, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 3 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0376555-Z-zSolutions/

Theoretical Characterization of Enclosures. Technical Report No. 1158, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 4 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0376554-Theoretical-Characterization-of-Enclosures/

Compact Form of the Hansen-Bliek-Rohn Enclosure. Technical Report No. 1157, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 8 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0376430-Compact-Form-of-the-HansenBliekRohn-Enclosure/

Verification of Linear (In)Dependence in Finite Precision Arithmetic. Technical Report No. 1156, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 8 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0376315-Verification-of-linear-independence-in-finite-precision-arithmetic/

A New Characterization of the Maximum Cut in a Graph. Technical Report No. 1155, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 3 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0376316-A-New-Characterization-of-the-Maximum-Cut-in-a-Graph-Dedicated-to-the-memory-of-the-Tibetan-meditat/

Calculus Digest. Technical Report No. 1154, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 26 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0376294-Calculus-Digest/

An Algorithm for Solving the $P$-Matrix Problem. Technical Report No. 1150, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 9 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0370921-An-Algorithm-for-Solving-the-PMatrix-Problem/

An Algorithm for Solving the System $-e \leq Ax \leq e$, $\|x\|_1 \geq 1$. Technical Report No. 1149, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 8 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0370919-An-Algorithm-for-Solving-the-System-e-Ax-e-x1-1/

V. Hooshyarbakhsh, R. Farhadsefat and J. Rohn, A Not-A-Priori-Exponential Necessary and Sufficient Condition for Regularity of Interval Matrices. Technical Report No. 1147, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 3 p. http://www.library.sk/i2/i2.entry.cls?ictx=cav&language=1&op=detail&idx=cav_un_epca*0370147

V. Hooshyarbakhsh, T. Lotfi, R. Farhadsefat and J. Rohn, An Iterative Method for Solving Absolute Value Equations. Technical Report No. 1145, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 7 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0370147-A-notaprioriexponential-necessary-and-sufficient-condition-for-regularity-of-interval-matrices/

Verified Singular Value Decomposition. Technical Report No. 1144, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 4 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0370810-Verified-Singular-Value-Decomposition/

Verified Eigendecomposition. Technical Report No. 1143, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2012, 5 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0370809-Verified-Eigendecomposition/

R. Farhadsefat, J. Rohn and T. Lotfi, Norms of Interval Matrices. Technical Report No. 1122, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2011, 12 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0362912-Norms-of-Interval-Matrices/

Verified Solutions of Linear Equations. Technical Report No. 1121, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2011, 9 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0361449-Verified-Solutions-of-Linear-Equations/

VERSOFT: Examples. Technical Report No. 1119, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2011, 11 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0361332-VERSOFT-Examples/

VERSOFT: Guide. Technical Report No. 1118, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2011, 6 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0361331-VERSOFT-Guide/

INTLAB Primer. Technical Report No. 1117, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2011, 9 p. https://asep.lib.cas.cz/arl-cav/cs/detail-cav_un_epca-0361330-INTLAB-Primer/

R. Farhadsefat, T. Lotfi and J. Rohn, A Note on Regularity and Positive Definiteness of Interval Matrices. Central European Journal of Mathematics 10 (2012), 322-328. http://dx.doi.org/10.2478/s11533-011-0118-8

An Algorithm for Solving the Absolute Value Inequality. Technical Report No. 1107, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2011, 7 p. http://hdl.handle.net/11104/0197006

Every Two Square Matrices of the Same Size Have Some Solution in Common. Technical Report No. 1106, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2011, 4 p. http://hdl.handle.net/11104/0196890

An Algorithm for Solving Basic Interval Linear Problems. Technical Report No. 1105, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2011, 6 p. http://hdl.handle.net/11104/0196889

The Hansen-Bliek Optimality Result as a Consequence of the General Theory. Technical Report No. 1104, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2011, 5 p. http://hdl.handle.net/11104/0195721

Disproving the $P$-Matrix Property. Technical Report No. 1111, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2011, 7 p. http://hdl.handle.net/11104/0194436

A Perturbation Theorem for Linear Equations. Technical Report No. 1103, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2011, 2 p. http://hdl.handle.net/11104/0194105

An Algorithm for Finding a Singular Matrix in an Interval Matrix. Technical Report No. 1087, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2010, 9 p. http://hdl.handle.net/11104/0190430

On Rump's Characterization of $P$-Matrices. Optimization Letters 6 (2012), 1017-1020. http://dx.doi.org/10.1007/s11590-011-0318-y

A Theorem of the Alternatives for the Equation $|Ax|-|B||x|=b$. Optimization Letters 6 (2012), 585-591. http://dx.doi.org/10.1007/s11590-011-0284-4

An Algorithm for Computing All Solutions of an Absolute Value Equation. Optimization Letters 6 (2012), 851-856. http://dx.doi.org/10.1007/s11590-011-0305-3

A Note on Generating $P$-Matrices. Optimization Letters 6 (2012), 601-603. http://dx.doi.org/10.1007/s11590-010-0273-z

An Algorithm for Computing the Hull of the Solution Set of Interval Linear Equations. Linear Algebra and Its Applications 435 (2011), 193-201. http://dx.doi.org/10.1016/j.laa.2011.02.021

A General Method for Enclosing Solutions of Interval Linear Equations. Optimization Letters 6 (2012), 709-717. http://dx.doi.org/10.1007/s11590-011-0296-0

J. Rohn and R. Farhadsefat, Inverse Interval Matrix: A Survey. Electronic Journal of Linear Algebra 22 (2011), 704-719. http://www.math.technion.ac.il/iic/ela/ela-articles/articles/vol22_pp704-719.pdf

A Characterization of Strong Regularity of Interval Matrices. Electronic Journal of Linear Algebra 20 (2010), 717-722. http://www.math.technion.ac.il/iic/ela/ela-articles/articles/vol20_pp717-722.pdf

Explicit Inverse of an Interval Matrix with Unit Midpoint. Electronic Journal of Linear Algebra 22 (2011), 138-150. http://www.math.technion.ac.il/iic/ela/ela-articles/articles/vol22_pp138-150.pdf

An Improvement of the Bauer-Skeel Bounds. Technical Report No. 1065, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2010, 9 p. http://hdl.handle.net/11104/0182727

An Algorithm for Solving the Absolute Value Equation: An Improvement. Technical Report No. 1063, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2010, 8 p. http://hdl.handle.net/11104/0181476

A Residual Existence Theorem for Linear Equations. Optimization Letters 4 (2010), 287-292. http://dx.doi.org/10.1007/s11590-009-0160-7

On Unique Solvability of the Absolute Value Equation. Optimization Letters 3 (2009), 603-606. http://dx.doi.org/10.1007/s11590-009-0129-6

Forty Necessary and Sufficient Conditions for Regularity of Interval Matrices: A Survey. Electronic Journal of Linear Algebra 18 (2009), 500-512. http://www.math.technion.ac.il/iic/ela/ela-articles/articles/vol18_pp500-512.pdf

An Algorithm for Solving the Absolute Value Equation. Electronic Journal of Linear Algebra 18 (2009), 589-599. http://www.math.technion.ac.il/iic/ela/ela-articles/articles/vol18_pp589-599.pdf

Description of All Solutions of a Linear Complementarity Problem. Electronic Journal of Linear Algebra 18 (2009), 246-252. http://www.math.technion.ac.il/iic/ela/ela-articles/articles/vol18_pp246-252.pdf

Фидлер М., Недома Й., Рамик Я., Рон И., Циммерманн К., Задачи линейной оптимизации c неточными данными. РХД, Моcква-Ижевcк 2008, ISBN 978-5-93972-688-7

VERSOFT: Verification software in MATLAB / INTLAB. Available at http://uivtx.cs.cas.cz/~rohn/matlab

A Handbook of Results on Interval Linear Problems. Internet text available at http://uivtx.cs.cas.cz/~rohn/publist/!handbook.pdf

Letter to the Editor. Reliable Computing 12 (2006), 245-246. http://dx.doi.org/10.1007/s11155-006-7222-7

M. Fiedler, J. Nedoma, J. Ramik, J. Rohn and K. Zimmermann, Linear Optimization Problems with Inexact Data. Springer-Verlag, New York 2006, ISBN 0-387-32697-9 (Contents) (Springer sample pages: Chapter 2, 44 p.)

Regularity of Interval Matrices and Theorems of the Alternatives. Reliable Computing 12 (2006), 99-105. http://dx.doi.org/10.1007/s11155-006-4877-z

How Strong Is Strong Regularity? Reliable Computing 11 (2005), 491-493. http://dx.doi.org/10.1007/s11155-005-0407-7

Perron Vectors of an Irreducible Nonnegative Interval Matrix. Linear and Multilinear Algebra 54 (2006), 399-404. http://dx.doi.org/10.1080/03081080500304710

Nonsingularity, Positive Definiteness, and Positive Invertibility Under Fixed-Point Data Rounding. Applications of Mathematics 52 (2007), 105-115. http://dx.doi.org/10.1007/s10492-007-0005-6

Linearni algebra a optimalizace. Nakladatelstvi Karolinum, Prague 2004, 199 p., ISBN 80-246-0932-0

Problem linearni komplementarity a kvadraticke programovani (strucny ucebni text). Technical Report No. 918, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2004, 12 p.

A Method for Handling Dependent Data in Interval Linear Systems. Technical Report No. 911, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2004, 7 p.

Linearni algebra a optimalizace na slidech. Technical Report No. 905, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2004, 456 p. (compressed form, 4 slides per page)

A Normal Form Supplement to the Oettli-Prager Theorem. Reliable Computing 11 (2005), 35-39. http://dx.doi.org/10.1007/s11155-005-5941-9

A Theorem of the Alternatives for the Equation $Ax+B|x|=b$. Linear and Multilinear Algebra 52 (2004), 421-426. http://dx.doi.org/10.1080/0308108042000220686

Prehled nekterych dulezitych vet z teorie matic. Technical Report No. 895, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2003, 48 p.

Solvability of Systems of Linear Interval Equations. SIAM Journal on Matrix Analysis and Applications 25 (2003), 237-245. http://dx.doi.org/10.1137/S0895479801398955

Systems of Interval Linear Equations and Inequalities (Rectangular Case). Technical Report No. 875, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2002, 69 p.

Linearni programovani (strucny ucebni text). Technical Report No. 845, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 2001, 24 p.

J. Rohn, S. M. Rump and T. Yamamoto, Preface. Linear Algebra and Its Applications 324 (2001), 1-2

Computing the Norm $\|A\|_{\infty,1}$ is NP-Hard. Linear and Multilinear Algebra 47 (2000), 195-204. http://dx.doi.org/10.1080/03081080008818644

G. Mayer and J. Rohn, On the Applicability of the Interval Gaussian Algorithm. Reliable Computing 4 (1998), 205-222. http://dx.doi.org/10.1023/A:1009997411503

V. Kreinovich, A. Lakeyev, J. Rohn and P. Kahl, Computational Complexity and Feasibility of Data Processing and Interval Computations. Kluwer Academic Publishers, Dordrecht 1998, ISBN 0-7923-4865-6 (Contents and Preface)

[98] On Overestimations Produced by the Interval Gaussian Algorithm. Reliable Computing 3 (1997), 363-368. http://dx.doi.org/10.1023/A:1009993319560

[97] Bounds on Eigenvalues of Interval Matrices. Zeitschrift fur Angewandte Mathematik und Mechanik 78 (1998), Supplement 3, S1049-S1050. http://dx.doi.org/10.1002/zamm.19980781593

[96] Complexity of Some Linear Problems with Interval Data. Reliable Computing 3 (1997), 315-323. http://dx.doi.org/10.1023/A:1009987227018

[95] C. Jansson and J. Rohn, An Algorithm for Checking Regularity of Interval Matrices. SIAM Journal on Matrix Analysis and Applications 20 (1999), 756-776. http://dx.doi.org/10.1137/S0895479896313978

[94] G. Rex and J. Rohn, Sufficient Conditions for Regularity and Singularity of Interval Matrices. SIAM Journal on Matrix Analysis and Applications 20 (1998), 437-445. http://dx.doi.org/10.1137/S0895479896310743

[93] Overestimations in Bounding Solutions of Perturbed Linear Equations. Linear Algebra and Its Applications 262 (1997), 55-65. https://doi.org/10.1016/S0024-3795(97)80022-5

[92] Checking Properties of Interval Matrices. Technical Report No. 686, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 1996, 36 p. http://hdl.handle.net/11104/0123221

[91] V. Kreinovich, A. Lakeyev and J. Rohn, Computational Complexity of Interval Algebraic Problems: Some Are Feasible and Some Are Computationally Intractable - A Survey. In: Scientific Computing and Validated Numerics (G. Alefeld, A. Frommer and B. Lang, eds.), Akademie Verlag, Berlin 1996, 293-306

[90] J. Rohn and G. Rex, Enclosing Solutions of Linear Equations. SIAM Journal on Numerical Analysis 35 (1998), 524-539. http://dx.doi.org/10.1137/S0036142996299423

[89] The Conjecture "P$\neq$NP" and Overestimation in Bounding Solutions of Perturbed Linear Equations. Technical Report No. 644, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 1995, 5 p. http://hdl.handle.net/11104/0123117

[88] Enclosing Solutions of Overdetermined Systems of Linear Interval Equations. Reliable Computing 2 (1996), 167-171 http://dx.doi.org/10.1007/BF02425920

[87] Linear Programming with Inexact Data is NP-Hard. Zeitschrift fur Angewandte Mathematik und Mechanik 78 (1998), Supplement 3, S1051-S1052 http://dx.doi.org/10.1002/zamm.19980781594

[86] Validated Solutions of Nonlinear Equations. Zeitschrift fur Angewandte Mathematik und Mechanik 77 (1997), Supplement 2, S657-S658 http://dx.doi.org/10.1002/zamm.19970771407

[85] Complexity of Solving Linear Interval Equations. Zeitschrift fur Angewandte Mathematik und Mechanik 76 (1996), Supplement 3, 271-274 http://dx.doi.org/10.1002/zamm.19960761310

[84] Linear Interval Equations: Computing Enclosures with Bounded Relative Overestimation is NP-Hard. In: Applications of Interval Computations (R. B. Kearfott and V. Kreinovich, eds.), Kluwer Academic Publishers, Dordrecht 1996, 81-89

[83] Linear Interval Equations: Computing Sufficiently Accurate Enclosures is NP-Hard. Technical Report No. 621, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 1995, 7 p. http://hdl.handle.net/11104/0122704

[82] Validated Solutions of Linear Equations. Technical Report No. 620, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 1995, 11 p. http://hdl.handle.net/11104/0122703

[81] NP-Hardness Results for Some Linear and Quadratic Problems. Technical Report No. 619, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 1995, 11 p. http://hdl.handle.net/11104/0122691

[80] J. Rohn and G. Rex, Interval $P$-Matrices. SIAM Journal on Matrix Analysis and Applications 17 (1996), 1020-1024 http://dx.doi.org/10.1137/0617062

[79] NP-Hardness Results for Linear Algebraic Problems with Interval Data. In: Topics in Validated Computations (J. Herzberger, ed.), North-Holland, Amsterdam 1994, 463-471

[78] Checking Bounds on Solutions of Linear Interval Equations is NP-Hard. Linear Algebra and Its Applications 223/224 (1995), 589-596 https://doi.org/10.1016/0024-3795(94)00219-4

[77] A Perturbation Theorem for Linear Equations. Commentationes Mathematicae Universitatis Carolinae 35 (1994), 213-214 (this is a preliminary announcement; click here for a proof) http://dml.cz/handle/10338.dmlcz/118656

[76] G. Rex and J. Rohn, A Note on Checking Regularity of Interval Matrices. Linear and Multilinear Algebra 39 (1995), 259-262 http://dx.doi.org/10.1080/03081089508818399

[75] An Algorithm for Checking Stability of Symmetric Interval Matrices. IEEE Transactions on Automatic Control 41 (1996), 133-136 http://dx.doi.org/10.1109/9.481618

[74] Checking Positive Definiteness or Stability of Symmetric Interval Matrices is NP-Hard. Commentationes Mathematicae Universitatis Carolinae 35 (1994), 795-797 http://dml.cz/handle/10338.dmlcz/118721

[73] Enclosing Solutions of Linear Interval Equations is NP-Hard. Computing 53 (1994), 365-368 http://dx.doi.org/10.1007/BF02307386

[72] J. Rohn and V. Kreinovich, Computing Exact Componentwise Bounds on Solutions of Linear Systems with Interval Data is NP-Hard. SIAM Journal on Matrix Analysis and Applications 16 (1995), 415-420 http://dx.doi.org/10.1137/S0895479893251198

[71] J. Rohn and J. Kreslova, Linear Interval Inequalities. Linear and Multilinear Algebra 38 (1994), 79-82 http://dx.doi.org/10.1080/03081089508818341

[70] On Some Properties of Interval Matrices Preserved by Nonsingularity. Zeitschrift fur Angewandte Mathematik und Mechanik 74 (1994), T688 http://dx.doi.org/10.1002/zamm.19940740607

[69] Cheap and Tight Bounds: The Recent Result by E. Hansen Can Be Made More Efficient. Interval Computations 4 (1993), 13-21

[68] Positive Definiteness and Stability of Interval Matrices. SIAM Journal on Matrix Analysis and Applications 15 (1994), 175-184 http://dx.doi.org/10.1137/S0895479891219216

[67] A. Deif and J. Rohn, On the Invariance of the Sign Pattern of Matrix Eigenvectors Under Perturbation. Linear Algebra and Its Applications 196 (1994), 63-70 https://doi.org/10.1016/0024-3795(94)90315-8

[66] A Note on Solvability of a Class of Linear Complementarity Problems. Mathematical Programming 60 (1993), 229-231 http://dx.doi.org/10.1007/BF01580611

[65] Inverse Interval Matrix. SIAM Journal on Numerical Analysis 30 (1993), 864-870 http://dx.doi.org/10.1137/0730044

[64] Stability of the Optimal Basis of a Linear Program Under Uncertainty. Operations Research Letters 13 (1993), 9-12 https://doi.org/10.1016/0167-6377(93)90077-T

[63] S. Poljak and J. Rohn, Checking Robust Nonsingularity is NP-Hard. Mathematics of Control, Signals, and Systems 6 (1993), 1-9 http://dx.doi.org/10.1007/BF01213466

[62] A Step Size Rule for Unconstrained Optimization. Computing 49 (1993), 373-376 http://dx.doi.org/10.1007/BF02248697

[61] Interval Matrices: Singularity and Real Eigenvalues. SIAM Journal on Matrix Analysis and Applications 14 (1993), 82-91 http://dx.doi.org/10.1137/0614007

[60] Stability of Interval Matrices: The Real Eigenvalue Case. IEEE Transactions on Automatic Control 37 (1992), 1604-1605 http://dx.doi.org/10.1109/9.256393

[59] An Algorithm for Finding a Singular Matrix in an Interval Matrix. Journal of Numerical Linear Algebra with Applications 1 (1992), 43-47; (unpublished erratum)

[58] Step Size Rule for Unconstrained Optimization. Report NI-92-04, Institute of Numerical Analysis, The Technical University of Denmark, Lyngby 1992, 11 p.

[57] On the Common Argument Behind the Finite Pivoting Rules by Bland and Murty. KAM Series 92-225, Faculty of Mathematics and Physics, Charles University, Prague 1992, 4 p.

[56] J. Rohn and A. Deif, On the Range of Eigenvalues of an Interval Matrix. Computing 47 (1992), 373-377 http://dx.doi.org/10.1007/BF02320205

[55] A Theorem on $P$-Matrices. Linear and Multilinear Algebra 30 (1991), 209-211 http://dx.doi.org/10.1080/03081089108818104

[54] An Existence Theorem for Systems of Linear Equations. Linear and Multilinear Algebra 29 (1991), 141-144 http://dx.doi.org/10.1080/03081089108818064

[53] Nonsingularity Under Data Rounding. Linear Algebra and Its Applications 139 (1990), 171-174 https://doi.org/10.1016/0024-3795(90)90396-T

[52] Interval Solutions of Linear Interval Equations. Aplikace matematiky 35 (1990), 220-224 http://dml.cz/handle/10338.dmlcz/104406

[51] Nonsingularity and $P$-Matrices. Aplikace matematiky 35 (1990), 215-219 http://dml.cz/handle/10338.dmlcz/104405

[50] Real Eigenvalues of an Interval Matrix with Rank One Radius. Zeitschrift fur Angewandte Mathematik und Mechanik 70 (1990), T562-T563 http://dx.doi.org/10.1002/zamm.19900700603

[49] Characterization of a Linear Program in Standard Form by a Family of Linear Programs with Inequality Constraints. Ekonomicko-matematicky obzor 26 (1990), 71-73

[48] A Short Proof of Finiteness of Murty's Principal Pivoting Algorithm. Mathematical Programming 46 (1990), 255-256; Erratum, Mathematical Programming 57 (1992), 477 http://dx.doi.org/10.1007/BF01585743

[47] Systems of Linear Interval Equations. Linear Algebra and Its Applications 126 (1989), 39-78 https://doi.org/10.1016/0024-3795(89)90004-9

[46] A Farkas-Type Theorem for Linear Interval Equations. Computing 43 (1989), 93-95 http://dx.doi.org/10.1007/BF02243809

[44] Linear Interval Equations: Enclosing and Nonsingularity. KAM Series 89-141, Faculty of Mathematics and Physics, Charles University, Prague 1989, 16 p.

[43] On Singular Matrices Contained in an Interval Matrix. Ekonomicko-matematicky obzor 25 (1989), 320-322

[41] On Sensitivity of the Optimal Value of a Linear Program. Ekonomicko-matematicky obzor 25 (1989), 105-107

[40] A Two-Sequence Method for Linear Interval Equations. Computing 41 (1989), 137-140 http://dx.doi.org/10.1007/BF02238736

[39] New Condition Numbers for Matrices and Linear Systems. Computing 41 (1989), 167-169 http://dx.doi.org/10.1007/BF02238741

[38] S. Poljak and J. Rohn, Radius of Nonsingularity. KAM Series 88-117, Faculty of Mathematics and Physics, Charles University, Prague 1988, 11 p.

[37] Nearness of Matrices to Singularity. KAM Series 88-79, Faculty of Mathematics and Physics, Charles University, Prague 1988, 4 p.

[36] Sensitivity Characteristics for the Linear Programming Problem. In: Seminarbericht Nr. 94 (K. Lommatzsch and K. Zimmermann, eds.), Humboldt-Universitaet, Berlin 1988, 135-137

[35] Solving Systems of Linear Interval Equations. In: Reliability in Computing (R. E. Moore, ed.), Academic Press, New York 1988, 171-182

[34] Eigenvalues of a Symmetric Interval Matrix. Freiburger Intervall-Berichte 87/10, Albert-Ludwigs-Universitaet, Freiburg 1987, 67-72

[33] Formulae for Exact Bounds on Solutions of Linear Systems with Rank One Perturbations. Freiburger Intervall-Berichte 87/6, Albert-Ludwigs-Universitaet, Freiburg 1987, 1-20

[32] Inverse-Positive Interval Matrices. Zeitschrift fur Angewandte Mathematik und Mechanik 67 (1987), T492-T493

[31] Inner Solutions of Linear Interval Systems. In: Interval Mathematics 1985 (K. Nickel, ed.), Lecture Notes in Computer Science 212, Springer-Verlag, Berlin 1986, 157-158 Original one-page manuscript without typos (there were no galley proofs).

[30] A Note on the Sign-Accord Algorithm. Freiburger Intervall-Berichte 86/4, Albert-Ludwigs-Universitaet, Freiburg 1986, 39-43

[29] Testing Regularity of Interval Matrices. Freiburger Intervall-Berichte 86/4, Albert-Ludwigs-Universitaet, Freiburg 1986, 33-37

[28] A Note on Solving Equations of Type $A^Ix^I = b^I$. Freiburger Intervall-Berichte 86/4, Albert-Ludwigs-Universitaet, Freiburg 1986, 29-31

[27] Miscellaneous Results on Linear Interval Systems. Freiburger Intervall-Berichte 85/9, Albert-Ludwigs-Universitaet, Freiburg 1985, 29-43

[26] Some Results on Interval Linear Systems. Freiburger Intervall-Berichte 85/4, Albert-Ludwigs-Universitaet, Freiburg 1985, 93-116

[25] Interval Linear Systems. Freiburger Intervall-Berichte 84/7, Albert-Ludwigs-Universitaet, Freiburg 1984, 33-58

[24] Proofs to "Solving Interval Linear Systems". Freiburger Intervall-Berichte 84/7, Albert-Ludwigs-Universitaet, Freiburg 1984, 17-30

[23] Solving Interval Linear Systems. Freiburger Intervall-Berichte 84/7, Albert-Ludwigs-Universitaet, Freiburg 1984, 1-14

[22] P. Simak, J. Rohn, Vypocet parametru viceprvkoveho rheologickeho modelu. In: Vyuziti malych pocitacu pro reseni problematiky zakladani a mechaniky zemin (P. Simak, ed.), Vyzkumny ustav pozemnich staveb, Praha 1984, 105-107

[21] J. Rohn, P. Simak, Vyuziti pocitace EG 3003 pro geotechnicke vypocty a statisticke hodnoceni. In: Vyuziti mikropocitacu pro reseni problematiky zakladani a mechaniky zemin (P. Simak, ed.), Vyzkumny ustav pozemnich staveb, Praha 1983, 105-108

[20] An Algorithm for Solving Interval Linear Systems and Inverting Interval Matrices. Freiburger Intervall-Berichte 82/5, Albert-Ludwigs-Universitaet, Freiburg 1982, 23-36

[19] Productivity of Activities in the Optimal Allocation of One Resource. Aplikace matematiky 27 (1982), 146-149 http://dml.cz/handle/10338.dmlcz/103954

[18] On the Interval Hull of the Solution Set of an Interval Linear System. Freiburger Intervall-Berichte 81/5, Albert-Ludwigs-Universitaet, Freiburg 1981, 47-57

[17] Dual Complementarity in Interval Linear Programming Problems. Ekonomicko-matematicky obzor 17 (1981), 86-89

[16] Strong Solvability of Interval Linear Programming Problems. Computing 26 (1981), 79-82 http://dx.doi.org/10.1007/BF02243426

[15] Interval Linear Systems with Prescribed Column Sums. Linear Algebra and Its Applications 39 (1981), 143-148 https://doi.org/10.1016/0024-3795(81)90298-6

[14] An Existence Theorem for Systems of Nonlinear Equations. Zeitschrift fur Angewandte Mathematik und Mechanik 60 (1980), 345 http://dx.doi.org/10.1002/zamm.19800600810

[13] Input-Output Model with Interval Data. Econometrica 48 (1980), 767-769 http://dx.doi.org/10.2307/1913136

[12] Duality in Interval Linear Programming. In: Interval Mathematics 1980 (K. Nickel, ed.), Academic Press, New York 1980, 521-529

[11] Input-Output Planning with Inexact Data. Freiburger Intervall-Berichte 78/9, Albert-Ludwigs-Universitaet, Freiburg 1978, 16 p.

[10] Correction of Coefficients of the Input-Output Model. Zeitschrift fur Angewandte Mathematik und Mechanik 58 (1978), T494-T495

[9] Dosazeni maximalni dojivosti pri nevyrovnanych obsazich zivin v silazovanych objemnych krmivech v zimnim obdobi. Zemedelska ekonomika 24 (1978), 313-318

[8] J. Rohn, I. Sklenar, Automatizovany system sestavovani planu krmeni dojnic. Zemedelska ekonomika 23 (1977), 49-57

[7] Optimalizace produkce mleka. Ekonomicko-matematicky obzor 13 (1977), 444-450

[6] Intervalovy pristup k meziodvetvovemu modelu. In: Sbornik referatu o spolupraci matematicko-fyzikalni fakulty s praxi (L. Paty, ed.), Univerzita Karlova, Praha 1976, 33-35

[5] Soustavy linearnich rovnic s intervalove zadanymi koeficienty. Ekonomicko-matematicky obzor 12 (1976), 311-315

[4] Doplnovani vapniku a fosforu v krmne davce dojnic mineralni prisadou. Zemedelska ekonomika 21 (1975), 105-111

[3] J. Bouska, J. Rohn, Reseni jedne ulohy na strukturnim modelu pri intervalovem zadani parametru a konstant. In: IV. konference o matematickych metodach v ekonomii, Harmonia 1974 (J. Bouska, ed.), Ekonomicky ustav CSAV, Praha 1975, 135-156

[2] Iteracni metoda reseni soustavy nelinearnich rovnic. Acta Polytechnica IV, CVUT, Praha 1973, 77-80

[1] Oddelitelnost systemu otevrenych konvexnich mnozin. In: II. celostatni konference o matematickych metodach v ekonomii, Harmonia 1972 (J. Bouska, ed.), Ekonomicky ustav CSAV, Praha 1973, 243-250

K. Zimmermann, J. Segethova, Z. Renc, J. Rohn, Studijni text k postgradualnimu studiu "Matematicke a programovaci prostredky ASR". Skriptum, MFF UK, Praha 1986

V. Mikolas, J. Rohn, Cviceni z matematiky pro I. rocnik chemie a biologie. Skriptum, RUK, Praha 1977

Matematika pro lingvisty. Skriptum, RUK, Praha 1974