Publikace
- Globální implicitní funkce (2020)
- The Equation |x| - |Ax| = b (2020)
- Does a Singular Symmetric Interval Matrix Contain a Symmetric Singular Matrix? (2019)
- Absolute Value Mapping (2019)
- Overdetermined Absolute Value Equations (2019)
- Generalization of a Theorem on Eigenvalues of Symmetric Matrices (2019)
- Rozhodování za neurčitosti: Pohled matematika na plánované hospodářství (2019)
- Report on the Last Work by Dr. Erich Nuding (2016)
- Interval Matrices: Regularity Yields Singularity (2016)
- A Hybrid Method for Solving Absolute Value Equations (2014)
- A New Proof of the Hansen-Bliek-Rohn Optimality Result (2014)
- Explicit Form of Matrices Qz for an Interval Matrix with Unit Midpoint (2014)
- A Class of Explicitly Solvable Absolute Value Equations (2014)
- A Reduction Theorem for Absolute Value Equations (2014)
- An iterative method for solving absolute value equations and sufficient conditions for unique solvability (2014)
- A Bendixson-Type Theorem for Eigenvalues of Interval Matrices (2013)
- A Triple Sufficient Condition for Regularity of Interval Matrices (2013)
- An Algorithm for Solving the System -e <= Ax <= e; ||x||_1 => 1 (2012)
- An Algorithm for Solving the P-Matrix Problem (2012)
- Compact Form of the Hansen-Bliek-Rohn Enclosure (2012)
- Theoretical Characterization of Enclosures (2012)
- (Z; z)-Solutions (2012)
- Verified Eigendecomposition (2012)
- Verified Singular Value Decomposition (2012)
- An Iterative Method for Solving Absolute Value Equations (2012)
- A not-a-priori-exponential necessary and sufficient condition for regularity of interval matrices (2012)
- A Handbook of Results on Interval Linear Problems. Dedicated in memoriam to my parents. 07.04.2005 / 23.09.2012 (2012)
- A Manual of Results on Interval Linear Problems. Dedicated to my grandchildren Matthias, William and Beata, and also to those who might yet come. 10.08.2004 / 11.02.2005 / 05.07.2012 (2012)
- Calculus Digest (2012)
- Verification of linear (in)dependence in finite precision arithmetic (2012)
- A New Characterization of the Maximum Cut in a Graph. Dedicated to the memory of the Tibetan meditation master Geshe1 Langri Tangpa (1054-1123), author of the "Eight verses for training the mind" (2012)
- On Rump’s characterization of P-matrices (2012)
- An algorithm for computing all solutions of an absolute value equation (2012)
- A general method for enclosing solutions of interval linear equations (2012)
- A theorem of the alternatives for the equation |Ax| - |B||x| = b (2012)
- A note on generating P-matrices (2012)
- A note on regularity and positive definiteness of interval matrices (2012)
- The Hansen-Bliek Optimality Result as a Consequence of the General Theory (2011)
- A New Sufficient Condition for Regularity of Interval Matrices (2011)
- INTLAB Primer (2011)
- VERSOFT: Guide (2011)
- VERSOFT: Examples (2011)
- Verified Solutions of Linear Equations (2011)
- Norms of Interval Matrices (2011)
- Disproving the P-Matrix Property (2011)
- An Algorithm for Solving Basic Interval Linear Problems (2011)
- Every Two Square Matrices of the Same Size Have Some Solution in Common (2011)
- An Algorithm for Solving the Absolute Value Inequality (2011)
- A Perturbation Theorem for Linear Equations (2011)
- Explicit Inverse of an Interval Matrix with Unit Midpoint (2011)
- Inverse Interval Matrix: A Survey (2011)
- An Algorithm for Finding a Singular Matrix in an Interval Matrix (2010)
- A Note on Generating P-Matrices (2010)
- An Algorithm for Computing All Solutions of an Absolute Value Equation (2010)
- A Theorem of the Alternatives for the Equation |Ax| - |B||x| = b (2010)
- On Rump's Characterization of P-Matrices (2010)
- An Algorithm for Solving the Absolute Value Equation: An Improvement (2010)
- A General Method for Enclosing Solutions of Interval Linear Equations (2010)
- An Improvement of the Bauer-Skeel Bounds (2010)
- Explicit Inverse of an Interval Matrix with Unit Midpoint (2010)
- A Characterization of Strong Regularity of Interval Matrices (2010)
- Inverse Interval Matrix: A Survey (2010)
- An Algorithm for Computing the Hull of the Solution Set of Interval Linear Equations (2010)
- A Residual Existence Theorem for Linear Equations (2010)
- Perron Vectors of an Irreducible Nonnegative Interval Matrix (2006)
- A Handbook of Results on Interval Linear Problems (2005)
- Lineární algebra a optimalizace (2004)
- Lineární algebra a optimalizace na slidech (2004)
- Linear Interval Equations: Midpoint Preconditioning may Produce a 100 Percent Overestimation for Arbitrarily Narrow Data Even in Case n=4 (2004)
- A Method for Handling Dependent Data in Interval Linear Systems (2004)
- Problém lineární komplementarity a kvadratické programování (stručný učební text) (2004)
- A Theorem of the Alternatives for the Equation Ax + B|x| = b (2004)
- Přehled některých důležitých vět z teorie matic (2003)
- Solvability of Systems of Linear Interval Equations (2003)
- Systems of Interval Linear Equations and Inequalities (Rectangular Case) (2002)
- Symbolic Algebraic Methods and Verification Methods (2001)
- Lineární programování (stručný učební text) (2001)
- Žádost o zahájení profesorského jmenovacího řízení (1999)
- An Algorithm for Checking Regularity of Interval Matrices (1999)
- Computational Complexity and Feasibility of Data Processing and Interval Computations (1998)
- Bounds on Eigenvalues of Interval Matrices (1998)
- Linear Programming with Inexact Data is NP-hard (1998)
- Sufficient Conditions for Regularity and Singularity of Interval Matrices (1998)
- Enclosing Solutions of Linear Equations (1998)
- On Overestimations Produced by the Interval Gaussian Algorithm (1997)
- Overestimations in Bounding Solutions of Perturbed Linear Equations (1997)
- Validated Solutions of Nonlinear Equations (1997)
- Checking Properties of Interval Matrices (1996)
- Bounds on Eigenvalues of Interval Matrices (1996)
- An Algorithm for Checking Regularity of Interval Matrices (1996)
- Enclosing Solutions of Linear Equations (1996)
- Complexity of Solving Linear Interval Equations (1996)
- Interval P-Matrices (1996)
- An Algorithm for Checking Stability of Symmetric Interval Matrices (1996)
- NP-Hardness Results for Some Linear and Quadratic Problems (1995)
- Validated Solutions of Linear Equations (1995)
- Linear Interval Equations: Computing Sufficiently Accurate Enclosures in NP-Hard (1995)
- Complexity of Solving Linear Interval Equations (1995)
- Validated Solutions of Nonlinear Equations (1995)
- Linear Programming with Inexact Data is NP-Hard (1995)
- Enclosing Solutions of Overdetermined Systems of Linear Interval Equations (1995)
- The Conjecture "P =/= NP" and Overestimation in Bounding Solutions of Pertubed Linear Equations (1995)
- Checking Bounds on Solutions of Linear Interval Equations is NP-Hard (1995)
- Computing Exact Componentwise Bounds on Solutions of Linear Systems with Interval Data is NP-Hard (1995)
- A Note on Checking Regularity of Interval Matrices (1994)
- An Algorithm for Checking Stability of Symmetric Interval Matrices (1994)
- Interval P-Matrices (1994)
- On some properties of interval matrices preserved by nonsingularity (1994)
- On the common argument behind the finite pivoting rules by Bland and Murty (1992)
- Erratum: A short proof of finiteness of Murty's principal pivoting algorithm (1992)
- Lineární systémy s intervalovými daty (habilitační práce) (1990)
- Nonsingularity Under Data Rounding (1990)
- Real Eigenvalues of an Interval Matrix with Rank one Radius (1990)
- Linear interval equations: Enclosing and nonsingularity (1989)
- Systems of Linear Interval Equations (1989)
- Nearness of matrices to singularity (1988)
- Radius of Nonsingularity (1988)
- Intervalový přístup k meziodvětvovému modelu (1974)
- Transformace grafů (diplomová práce) (1970)