mathematical computations with guaranteed accuracy,

bounding of ranges, mathematical proofs based on floating point arithmetic,

and other theory and applications of interval arithmetic and directed rounding

**Volume 14**

*Note: Not all content in Volume 14 conforms to the current
typographical style for this journal.*

- Alexandre Goldsztejn and Luc Jaulin, Inner Approximation of the Range of Vector-Valued Functions, pp. 1-23, June 2010.
- Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, and Shin'ichi Oishi. Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems, pp. 24-45, June 2010.
- B. M. Patre and P. J. Deore, Robust State Feedback for Interval Systems: An Interval Analysis Approach, pp. 46-60, June 2010.
- Juergen Garloff, Karl L. E. Nickel (1924-2009), pp. 61-65, June 2010.
- Thomas Beelitz, Bruno Lang, Peer Ueberholz, and Paul Willems, Closing the Case t = 3 for 3-D Spherical t-Designs Using a Result-Verifying Nonlinear Solver, pp. 66-77, June 2010.
- Milan Hladík, Solution Sets of Complex Linear Interval Systems of Equations, pp. 78-87, June 2010.
- Nacim Meslem, Nacim Ramdani, and Yves Candau, Guaranteed Parameter Set Estimation for Monotone Dynamical Systems Using Hybrid Automata, pp. 88-104, June 2010.
- Stefania Corsaro and Marina Marino, Archetypal Analysis of Interval Data, pp. 105-116, June 2010.
- Shashwati Ray and P. S. V. Nataraj, A New Strategy for Selecting Subdivision Point in the Bernstein Approach to Polynomial Optimization, pp. 117-137, June 2010.
- Michael Zimmer, Walter Kraemer, and Werner Hofschuster, Sparse Matrices and Vectors in C-XSC, pp. 138-160, January 2011.

Guest editors: Martine Ceberio and Vladik Kreinovich

Preface (Martine Ceberio and Vladik Kreinovich)

Issue 1

- Rene Alt, Jean-Luc Lamotte, and Svetoslav Markov, On the Accuracy of the Solution of Linear Problems on the CELL Processor, pp. 1-12, May 2011.
- Miguel Argaez, Solving Overdetermined Systems in lp Quasi-Norms, pp. 13-25, May 2011.
- Frithjof Blomquist, Staggered Correction Computations with Enhanced Accuracy and Extremely Wide Exponent Range, pp. 26-35, May 2011.
- Gerd Bohlender and Ulrich Kulisch, Definition of the Arithmetic Operations and Comparison Relations for an Interval Arithmetic, pp. 36-42, May 2011.
- Darrell Cheu and Luc Longpre, Towards the Possibility of Objective Interval Uncertainty in Physics, pp. 43-46, May 2011.
- Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, and Michel Rueher, Capabilities of Constraint Programming in Safe Global Optimization, pp. 47-59, May 2011.
- Karen Villaverde and Gang Xiang, Estimating Variance under Interval and Fuzzy Uncertainty: Parallel Algorithms, pp. 60-68, May 2011.

Issue 2

- Sandeep Hattangady, William Edmonson, and Winser Alexander, Block Floating Point Interval ALU for Digital Signal Processing, pp. 69-80, June 2011.
- Ivan Petkovic, Computational Aspects of the Implementation of Disk Inversions, pp. 81-90, June 2011.
- Miodrag S. Petkovic and Dusan M. Milosevic, Higher Order Methods for the Inclusion of Multiple Zeros of Polynomials, pp. 91-108, June 2011.
- P. S. V. Nataraj and M. Arounassalame, An Interval Newton Method Based on the Bernstein Form for Bounding the Zeros of Polynomial Systems, pp. 109-119, June 2011.
- Nguyen Hong Diep and Nathalie Revol, Solving and Certifying the Solution of a Linear System, pp. 120-131, June 2011.
- Andrzej Pownuk and Naveen Kumar Goud Ramunigari, Application of Order-Preserving Functions to the Modeling of Computational Mechanics Problems with Uncertainty, pp. 132-143, June 2011.
- M. H. van Emden, From Interval Arithmetic to Interval Constraints, pp. 144-155, June 2011.
- Naoya Yamanaka, Masahide Kashiwagi, Shin'ichi Oishi, and Takeshi Ogita, A Note on a Verified Automatic Integration Algorithm, pp. 156-167, June 2011.

Issue 3

- Joshua A. Enszer and Mark A. Stadtherr, Verified Solution and Propagation of Uncertainty in Physiological Models, pp. 168-178, July 2011.
- Sebastian Kempken and Wolfram Luther, Verifed Factorization Methods for SMP/G/1 Queueing Systems and their Interplay in an Integrated Problem-Solving Environment, pp. 179-192, July 2011.
- Mariana Kolberg, Walter Kraemer and Michael Zimmer, Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations, pp. 193-206, July 2011.
- Bartlomiej Jacek Kubica, Interval Methods for Solving Underdetermined Nonlinear Systems, pp. 207-217, July, 2011.
- Tanja Magoc, Martine Ceberio, and Francois Modave, Using Preference Constraints to Solve Multi-Criteria Decision Making Problems, pp. 218-229, July 2011.
- Miguel Argaez, Leticia Velazquez, Carlos Quintero, Hector Klie, and Mary Wheeler, A Hybrid Algorithm for Global Optimization Problems, pp. 230-241, July 2011.
- Julie Roy and R. Baker Kearfott, Global Optimization and Singular Nonlinear Programs: New Techniques, pp. 242-250, July 2011.
- P. S. V. Nataraj and Shanta Sondur, The Extrapolated Taylor Model, pp. 251-278, July 2011.
- German Tischler and Juergen Wolff von Gudenberg, Solving Decidability Problems with Interval Arithmetic, pp. 279-289, July 2011.

Issue 4

- Lev Kapitanski and Sanja Zivanovic, Dynamics with a Range of Choice, pp. 290-299, July 2011.
- Tanja Magoc, Xiaojing Wang, Francois Modave, and Martine Ceberio, Applications of Fuzzy Measures and Intervals in Finance, pp. 300-311, July 2011.
- M. Nehmeier and J. Wolff v. Gudenberg, filib++, Expression Templates and the Coming Interval Standard, pp. 312-320, July 2011.
- Andreas Rauh, Ekaterina Auer, Mareile Freihold, Eberhard P. Hofer, and Harald Aschemann, Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems, pp. 321-332, July 2011.
- Andreas Rauh, Johanna Minisini, Eberhard P. Hofer, and Harald Aschemann, Robust and Optimal Control of Uncertain Dynamical Systems with State-Dependent Switchings Using Interval Arithmetic, pp. 333-344, July 2011.
- Irene A. Sharaya and Sergey P. Shary, Tolerable Solution Set for Interval Linear Systems with Constraints on Coefficients, pp. 345-357, July 2011.
- Sergey P. Shary, On Nonnegative Interval Linear Systems and Their Solution, pp. 358-369, July 2011.
- Andreas Rauh and Ekaterina Auer, Verified Simulation of ODEs and DAEs in ValEncIA-IVP, pp. 370-381, July 2011.

- Lubomir V. Kolev, A Method for Determining the Regularity Radius of Interval Matrices, pp. 1-26, July 2011.
- Milan Hladik and Luc Jaulin, An Eigenvalue Symmetric Matrix Contractor, pp. 27-37, October 2011.
- Samiran Karmakar and A. K. Bhunia, A Comparative Study of Different Order Relations of Intervals, pp. 38-72, January 2012.
- lke Just and Bruno Lang, A Success-Guided Selection of Expanded Systems for Result-Verifying Nonlinear Solvers, pp. 73-83, March 2012.
- Peter Schodland Arnold Neumaier, Continuity Notions for Multi-Valued Mappings with Possibly Disconnected Images, pp. 84-101, March 2012.
- hinya Miyajima, Componentwise Error Estimates for Solutions Obtained by Stationary Iterative Methods, pp. 102-106, April 2012.
- Shinya Miyajima, The Relation between Two Types of Error Bounds for Computed Matrix Eigenvalues, pp. 107-113, April 2012.
- Stefan Kiel, YalAA: Yet Another Library for Affine Arithmetic, pp. 114-129, September 2012.
- Alexandre Goldsztejn, Modal Intervals Revisited, Part 1: A Generalized Interval Natural Extension, pp. 130-183, October 2012.
- Alexandre Goldsztejn, Modal Intervals Revisited, Part 2: A Generalized Interval Mean Value Extension, pp. 184-209, October 2012.
- Guenter Mayer, On an Expression for the Midpoint and the Radius of the Product of Two Intervals, pp. 210-224, October 2012.
- Mimica R. Milosevic and Miodrag S. Petkovic, Ostrowski-Like Method for the Inclusion of a Single Complex Polynomial Zero, pp. 225-238, October 2012.
- Pau Herrero, Pantelis Georgiou, Christofer Toumazou, Benoit Delaunay, and Luc Jaulin, An Efficient Implementation of the SIVIA Algorithm in a High-Level Numerical Programming Language, pp. 239-251, October 2012.
- Jennifer Harlow, Raazesh Sainudiin, and Warwick Tucker, Mapped Regular Pavings, pp. 252-282, November 2012.
- E. de Weerdt, E. van Kampen, Q. P. Chu, and J. A. Mulder, Polynomial Inclusion Functions, pp. 283-307, November 2012.
- Chengpu Wang, A New Uncertainty-Bearing Floating-Point Arithmetic, pp. 308-361, December 2012.

Guest editors: Juergen Garloff and Andrew P. Smith

Preface (Juergen Garloff and Andrew P. Smith)

Part 1: New Properties

- Jorge Delgado and Juan Manuel Pena, Optimality of Bernstein Representations for Computational Purposes, pp. 1-10, December 2012.
- Richard Leroy, Convergence under Subdivision and Complexity of Polynomial Minimization in the Simplicial Bernstein Basis, pp. 11-21, December 2012.
- Dominique Michelucci, Sebti Foufou, and Arnaud Kubicki, On the Complexity of the Bernstein Combinatorial Problem, pp. 22-33, December 2012.
- Anthony Narkawicz, Juergen Garloff, Andrew P. Smith, and Cesar A. Munoz, Bounding the Range of a Rational Function over a box, pp. 34-39, December 2012.
- Shashwati Ray and P. S. V. Nataraj, A Matrix Method for Efficient Computation of Bernstein Coefficients, pp. 40-71, December 2012.

Part 2: Applications

- Szilvia Bela and Bert Juttler, Real Root Approximation Using Fat Spheres, pp. 72-96, December 2012.
- Luis G. Crespo, Daniel P. Giesy, and Sean P. Kenny, A Unifying Framework to Uncertainty Quantification of Polynomial Systems Subject to Aleatory and Epistemic Uncertainty, pp. 97-127, December 2012.
- Thao Dang and Romain Testylier, Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion, pp. 128-152, December 2012.
- Coen C. de Visser, Eric-Jan van Kampen, Q. Ping Chu, and J. A. Mulder, Intersplines: A New Approach to Globally Optimal Multivariate Splines Using Interval Analysis, pp. 153-191, December 2012.
- Sebti Foufou and Dominique Michelucci, The Bernstein Basis and its Applications in Solving Geometric Constraint Systems, pp. 192-208, December 2012.
- Anthony Narkawicz and Cesar A. Munoz, Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories, pp. 209-237, December 2012.

- Marcin Michalak and Vladik Kreinovich, Is it Possible to Have a Feasible Enclosure-Computing Method Which Is Independent of the Equivalent Form?, pp. 1-8, January 2013.
- Shinya Miyajima, Fast Enclosure of Matrix Polynomials, pp. 9-14, January 2013.
- Raazesh Sainudiin and Thomas York, An Auto-Validating, Trans-Dimensional, Universal Rejection Sampler for Locally Lipschitz Arithmetical Expressions, pp. 15-54, April 2013.
- Hao Jiang, Housen Li, Lizhi Cheng, Roberto Barrio, Canbin Hu, and XiangkeL iao, Accurate, Validated and Fast Evaluation of Bezier Tensor Product Surfaces, pp. 55-72, May 2013.
- Madalina Erascu and Hoon Hong, The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation, pp. 73-81, May 2013.
- Maryam Shams Solary, Finding the Smallest Eigenvalue by Properties of Semidefinite Matrices, pp. 82-89, June 2013.
- Andrzej Pownuk, Luc Longpre, and Vladik Kreinovich, Checking Monotonicity is NP-Hard Even for Cubic Polynomials, pp. 90-96, July 2013.
- Raazesh Sainudiin and Thomas Steinke, A Rigorous Extension of the Schoenhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic, pp. 97-116, September 2013.
- Olivier Mullier, Eric Goubault, Michel Kieffer, and Sylvie Putot, General Inner Approximation of Vector-valued Functions, pp. 117-143, November 2013.
- Benham Hashemi and Hanieh Tavakolipour, A Non-Induced Interval Matrix Norm, pp. 144-146, November 2013.
- Pavel V. Saraev, Interval Pseudo-Inverse Matrices and Interval Greville Algorithm, pp. 147-156, December 2013.

Guest editors: Sergey Shary and George Corliss

Issue 1

- Stepan Yu. Gatilov, Efficient Angle Summation Algorithm for Point Inclusion Test and Its Robustness, pp. 1-25.
- Elena K. Kostousova, On Boundedness and Unboundedness of Polyhedral Estimates for Reachable Sets of Linear Differential Systems, pp. 26-44.
- Tomoaki Okayama, Error Estimates with Explicit Constants for Sinc Quadrature and Sinc Indefinite Integration over Infinite Intervals, pp. 45-65.
- Andreas Rauh, Ramona Westphal, Harald Aschemann, and Ekaterina Auer, Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP, pp. 66-90.
- Nathalie Revol and Philippe Theveny, Parallel Implementation of Interval Matrix Multiplication, pp. 91-106.
- Alexander V. Prolubnikov, An Interval Approach to Pattern Recognition of Numerical Matrices, pp. 107-119.
- Ilya B. Labutin and Irina V. Surodina, Algorithm for Sparse Approximate Inverse Preconditioners in the Conjugate Gradient Method, pp. 120-126.

Issue 2

- A. Minamihata, K. Sekine, T. Ogita, and S. Oishi, Fast Verified Solutions of Sparse Linear Systems with H-matrices, pp. 127-141.
- J. Horacek and M. Hladik, Computing Enclosures of Overdetermined Interval Linear Systems, pp. 142-155.
- Ekaterina Auer and Stefan Kiel, Uses of Verified Methods for Solving Non-Smooth Initial Value Problems, pp. 156-175.
- Dmitri Yu. Lyudvin and Sergey P. Shary, Testing Implementations of PPS-methods for Interval Linear Systems, pp. 176-196.
- Sergey I. Kumkov and Yuliya V. Mikushina, Interval Approach to Identification of Catalytic Process Parameters, pp. 197-214.
- Anatoly V. Panyukov and Valentin A. Golodov, Computing Best Possible Pseudo-Solutions to Interval Linear Systems of Equations, pp. 215-228.

Issue 3

- Dmitry Yu. Nadezhin and Sergei I. Zhilin, JInterval Library: Principles, Development, and Perspectives, pp. 229-247.
- Maxim I. Pushkarev and Sergey A. Gaivoronsky, Maximizing Stability Degree of Control Systems under Interval Uncertainty Using a Coefficient Method, pp. 248-260.
- Luc Jaulin, Outer Approximation of Attractors Using an Interval Quantization, pp. 261-273.
- Boris S. Dobronets and Olga A. Popova, Numerical Probabilistic Analysis under Aleatory and Epistemic Uncertainty, pp. 274-289.
- Anatoly V. Lakeyev, On Unboundedness of Generalized Solution Sets for Interval Linear Systems, pp. 290-301.
- Stefan Kiel, Ekaterina Auer, and Andreas Rauh, An Environment for Testing, Verification and Validation of Dynamical Models in the Context of Solid Oxide Fuel Cells, pp. 302-317.
- Alexander Savchenko, Computation of Potential and Attraction Force of an Ellipsoid, pp. 318-329.

Issue 4

- Andreas Rauh, Luise Senkel, Thomas Doetschel, Harald Aschemann, and Ekaterina Auer, Numerical Verification and Experimental Validation of Sliding Mode Control Design for Uncertain Thermal SOFC Models, pp. 330-350.
- Vladimir V. Dombrovskii and Elena V. Chausova, Model Predictive Control for Linear Systems with Interval and Stochastic Uncertainties, pp. 351-360.
- Andreas Rauh, Luise Senkel, Julia Kersten, and Harald Aschemann, Interval Methods for Sensitivity-Based Model-Predictive Control of Solid Oxide Fuel Cell Systems, pp. 361-384.
- Bartlomiej Jacek Kubica, Excluding Regions Using Sobol Sequences in an Interval Branch-and-Prune Method for Nonlinear Systems, pp. 385-397.
- Sethy Montan, Christophe Denis, Jean-Marie Chesneaux, and Jean-Luc Lamotte, Efficient Matrix Multiplication Based on Discrete Stochastic Arithmetic, pp. 398-416.
- Anatoly V. Panyukov, Scalability of Algorithms for Arithmetic Operations in Radix Notation, pp. 417-434.
- Irene A. Sharaya, Boundary Intervals Method for Visualization of Polyhedral Solution Sets, pp. 435-467.

- Lyubomir V. Kolev, Componentwise Determination of the Interval Hull Solution for Linear Interval Parameter Systems, pp. 1-24, March 2014.
- Smita Tapaswini and S.Chakraverty, New Midpoint-based Approach for the Solution of n-th Order Differential Equations, pp. 25-44, April 2014.
- Siegfried M. Rump, Verified Bounds for the p-Norm Condition Number, pp. 45-52, June 2014.
- Alexandre Goldsztejn and Arnold Neumaier, On the Exponentiation of Interval Matrices, pp. 53-72, October 2014.
- Florian Buenger, A Note on the Boundary Shape of Matrix Polytope Products, pp. 73-88, October 2014.
- Shinya Miyajima, Fast Enclosure for Solutions of Generalized Least Squares Problems, pp. 89-112, February 2015.
- Obituary: Irene Sharaya (1962-2015) (by Sergey P. Shary), pp. 113-114, March 2015.

- Joe Lorkowski, Olga Kosheleva, Luc Longpre, and Vladik Kreinovich, When Can We Reduce Multi-Variable Range Estimation Problems to Two Fewer-Variable Problems?, pp. 1-10, August 2015.
- Md. Abu Talhamainuddin Ansary and Geetanjali Panda, Higher Order Root Finding Algorithm using Interval Analysis, pp. 11-24, September 2015.
- Jiri Rohn, The Solution Set of Interval Linear Equations is Homeomorphic to the Unit Cube: An Explicit Construction, pp. 25-34, November 2015.
- Pacome Eberhart, Julien Brajard, Pierre Fortin, and Fabienne Jezequel, High Performance Numerical Validation using Stochastic Arithmetic, pp. 35-52, December 2015.
- Federica Gioia, Capital Asset Pricing Model Using Regression Methods for Interval-Valued Variables, pp. 53-73, May 2016.
- Florian Buenger and Siegfried M. Rump, A Short Note on the Convexity of Interval Matrix-Vector Products, pp. 74-79, June 2016.
- Svetoslav Markov, On the Algebra of Intervals, pp. 80-108, June 2016.
- Gerd Heindl, Generalizations of Theorems of Rohn and Vrahatis, pp. 109-116, September 2016.
- Stef Graillat, Fabienne Jezequel, and Moustadrani Said Ibrahim, Dynamical Control of Newton's Method for Multiple Roots of Polynomials, pp. 117-139, October 2016.
- Jiri Rohn, Theoretical Characterization of Enclosures, pp. 140-145, October 2016.

Guest editors: Milan Hladik, Luc Jaulin, and Nacim Ramdami

- Juergen Garloff, Mohammad Adm, and Jihad Titi, A Survey of Classes of Matrices Possessing the Interval Property and Related Properties, pp. 1-14, January 2016.
- Sergey I. Kumkov, An Estimation Problem of Chemical Process with Confluent Parameters: An Interval Approach, pp. 15-25, March 2016.
- Lubomir Kolev, A Class of Iterative Methods for Determining p-Solutions of Linear Interval Parametric Systems, pp. 26-46, May 2016.
- Luc Jaulin, Inner and Outer Set-Membership State Estimation, pp. 47-55, June 2016.
- Julien Alexandre dit Sandretto and Alexandre Chapoutot, Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods, pp. 56-77, July 2016.
- Julien Alexandre dit Sandretto and Alexandre Chapoutot, Validated Explicit and Implicit Runge-Kutta Methods, pp. 79-103, July 2016.
- Elif Garajova and Martin Meciar, Solving and Visualizing Nonlinear Set Inversion Problems, pp. 104-115, July 2016.
- M. Laranjeira, L. Jaulin, and S. Tauvry, Building Underwater Mosaics Using Navigation Data and Feature Extraction, pp. 116-137, August 2016.
- D. Monnet, J. Ninin, and L. Jaulin, Computing an Inner and an Outer Approximation of the Viability Kernel, pp. 138-148, September 2016.

- Preface, p. 1.
- Ramon Moore: Short biography, and recollections from close associates, pp. 2-14.
- Nedialko S. Nedialkov, Kenneth R. Jackson, and Markus Neher, On the Blunting Method in Verified Integration of ODEs, pp. 15-34, July 2016.
- L. Jaulin, B. Desrochers, and D. Masse, Bisectable Abstract Domains for the Resolution of Equations Involving Complex Numbers, pp. 35-46, July 2016.
- Naijia Xiao, Francesco Fedele, and Rafi L. Muhanna, Interval-Based Parameter Identification for Structural Static Problems, pp. 47-72, July 2016.
- Kiyotaka Yamamura and Suguru Ishiguro, Finding All Solution Sets of Piecewise-Linear Interval Equations Using Integer Programming, pp. 73-96, July 2016.
- Vladik Kreinovich, Standing on the Shoulders of the Giants: Why Constructive Mathematics, Probability Theory, Interval Mathematics, and Fuzzy Mathematics Are Important, pp. 97-104, July 2016.
- Vladik Kreinovich and Sergey P. Shary, Interval Methods for Data Fitting under Uncertainty: A Probabilistic Treatment, pp. 105-140, July 2016.
- Ulrich Kulisch and Gerd Bohlender, High Speed Associative Accumulation of Floating-point Numbers and Floating-point Intervals, pp. 141-153, July 2016.
- Louis B. Rall, Interval Divided-Difference Arithmetic, pp. 154-162, July 2016.
- Alexandre Goldsztejn and Daisuke Ishii, A Parallelotope Method for Hybrid System Simulation, pp. 163-185, July 2016.

- Jiri Rohn, An Explicit Enclosure of the Solution Set of Overdetermined Interval Linear Equations, pp. 1-10, February 2017.
- Olivier Mullier and Estelle Courtial, Set-Membership Computation of Admissible Controls for Trajectory Tracking, pp. 11-26, April 2017.
- Vladik Kreinovich and Olga Kosheleva, The Range of a Continuous Functional Under Set-Valued Uncertainty is Always an Interval, pp. 27-30, May 2017.
- Shinya Miyajima, Verified Solutions of Inverse Symmetric Eigenvalue Problems, pp. 31-44, September 2017.

Guest editors: Vladik Kreinovich and Warwick Tucker

- Pedro A. Barragan Olague and Vladik Kreinovich, Why Superellipsoids: A Probability-Based Explanation, pp. 1-7, May 2017.
- Mahdokht Michelle Afravi and Vladik Kreinovich, Decision Making Under Interval Uncertainty as a Natural Example of a Quandle, pp. 8-14, May 2017.
- Yuka Kobayashi, Takeshi Ogita, and Katsuhisa Ozaki, Acceleration of a Preconditioning Method for Ill-Conditioned Dense Linear Systems by Use of a BLAS-based Method, pp. 15-23, June 2017.
- Jihad Titi and Juergen Garloff, Fast Determination of the Tensorial and Simplicial Bernstein Forms of Multivariate Polynomials and Rational Functions, pp. 24-37, June 2017.
- Stef Graillat, Clothilde Jeangoudoux, and Christoph Lauter, MPDI: A Decimal Multiple-Precision Interval Arithmetic Library, pp. 38-52, July 2017.
- Sam Karhbet and Ralph Baker Kearfott, Range Bounds of Functions over Simplices, for Branch and Bound Algorithms, pp. 53-73, July 2017.
- Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, and Shin'ichi Oishi, Accurate Method of Verified Computing for Solutions of Semilinear Heat Equations, pp. 74-99, July 2017.
- Andreas Rauh, Susann Tiede and Cornelia Klenke, An Interval-Based Algorithm for Feature Extraction from Speech Signals, pp. 100-117, August 2017.
- Andreas Rauh, Julia Kersten and Harald Aschemann, Toward the Optimal Parameterization of Interval-Based Variable-Structure State Estimation Procedures, pp. 118-132, August 2017.
- Andreas Rauh, Julia Kersten and Harald Aschemann, Interval-Based Identification of Friction and Hysteresis Models, pp. 133-147, August 2017.
- Katsuhisa Ozaki and Takeshi Ogita, Generation of Linear Systems with Specified Solutions for Numerical Experiments, pp. 148-167, August 2017.
- Takehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao, Validated Constructive Error Estimations for Biharmonic Problems, pp. 168-177, August 2017.
- Julien Alexandre dit Sandretto, Runge–Kutta Theory and Constraint Programming, pp. 178-201, August 2017.
- Takuma Kimura, Teruya Minamoto, and Mitsuhiro T. Nakao, Optimal Order Constructive a Priori Error Estimates for a Full Discrete Approximation of the Heat Equation, pp. 202-212, September 2017.

- Mohammad Keyanpour, Maryam Mohaghegh Tabar, and Weldon A. Lodwick, A Solution Algorithm for a System of Interval Linear Equations Based on theConstraint Interval Point of View, pp. 1-12, February 2018.
- Remi Imbach, Guillaume Moroz, and Marc Pouget, Reliable Location with Respect to the Projection of a Smooth SpaceCurve, pp. 13-55, May 2018.
- Commentary / Tutorial: Siegfried M. Rump, Linear Systems in Matlab with Zero Residual, pp. 56-66, June 2018.
- Benyamin M.-Alizadeh, Sajjad Rahmany, and Abdolali Basiri, Interval Grobner System and its Applications, pp. 67-96, June 2018.
- Gotz Alefeld and Gerhard Heindl, A Fixed Point Theorem Based on a Modified Midpoint-Radius Interval Arithmetic, pp. 97-108, December 2018.

- Raphael Voges, Bernardo Wagner, and Vladik Kreinovich, Efficient Algorithms for Synchronizing Localization Sensors under Interval Uncertainty, pp. 1-11, June 2020.
- Raphael Voges, Bernardo Wagner, and Vladik Kreinovich, Odometry under Interval Uncertainty: Towards Optimal Algorithms with Potential Application to Self-Driving Cars and Mobile Robots, pp. 12-20, June 2020.
- Miodrag S. Petkovic, Contribution of Mihailo Petrovic to the Development of Interval Arithmetic and Computation with Numerical Intervals, pp. 21-25, July 2020.
- R. Kobayashi, M. Lange, A. Minamihata, and S. M. Rump, Verified Inclusion of a Basis of the Null space, pp. 26-41, July 2020.
- Bastien Vincke, Zhan Wang, Alain Lambert, and Abdelhafid Elouardi, Constraint Propagation Based Approach for Simultaneous Localization and Mapping of Mobile Robots, pp. 42-62, July 2020.
- Sebastien Lengagne, Rawan Kalawoun, Francois Bouchon, and Youcef Mezouar. Reducing Pessimism in Interval Analysis using BSplines Properties: Application to Robotics, pp. 63-87, July 2020.

- Olga G. Kantor, Svetlana A. Mustafina, Albina S. Ismagilova, Efim M. Bronshtein, Sergey P. Shary, Sergey I. Kumkov, Nikolai M. Oskorbin, Sergei I. Zhilin, Boris S. Dobronets, and Grigory Spivak. Semen I. Spivak (1945-2020), pp. 1-3, January 2021.
- Olga Kosheleva and Vladik Kreinovich. Euclidean Distance Between Intervals Is the Only Representation-Invariant One, pp. 4-9, June 2021.
- Tahea Hossain, Jonathan Rivera, Yash Sharma, and Vladik Kreinovich. How to Extend Interval Arithmetic So That Inverse and Division Are Always Defined, pp. 10-23, June 2021.
- Olga Kosheleva, Vladik Kreinovich, and Jonatan Contreras. Which Classes of Bi-Intervals Are Closed Under Addition? Under Linear Combination? Under Other Operations?, pp. 24-35, June 2021.
- Olga Kosheleva and Vladik Kreinovich. Realistic Intervals of Degrees of Confidence, pp. 36-42, June 2021.
- Vladik Kreinovich and Olga Kosheleva. Approximate Version of Interval Computation Is Still NP-Hard, pp. 43-48, June 2021.
- Olga Kosheleva and Vladik Kreinovich. Use of Grothendieck Inequality in Interval Computations: Quadratic Terms are Estimated Accurately Modulo a Constant Factor, pp. 49-55, June 2021.
- Juergen Garloff, Doaa Al-Saafin, and Mohammad Adm. Further Matrix Classes Possessing the Interval Property, pp. 56-70, June 2021.
- Vladik Kreinovich and Olga Kosheleva. Which Interval Is the Closest to a Given Set?, pp. 71-77, June 2021.
- Ralph Kelsey and Vladik Kreinovich. Computing the United Solution Set to an Interval Linear System Is NP-Hard -- Even When All Coefficients Are Known With the Same Accuracy, pp. 78-84, June 2021.
- Olga Kosheleva, Vladik Kreinovich, and Songsak Sriboonchitta. Simplest Polynomial for Which Naive (Straightforward) Interval Computations Cannot Be Exact, pp. 85-93, June 2021.
- Olga Kosheleva and Vladik Kreinovich. Why Hausdorff Distance Is Natural in Interval Computations, pp. 94-99, June 2021.
- Hani Dbouk, Steffen Schoen, Ingo Neumann, and Vladik Kreinovich. How to Detect Possible Additional Outliers: Case of Interval Uncertainty, pp. 100-106, June 2021.
- Richard G. Everitt. Interval Methods For Improving The Efficiency Of Monte Carlo, pp. 107-133, October 2021.

- Vladik Kreinovich. Interval-Related Talks at Econometric Conferences TES'2022 and ECONVN'2022, pp. 1-3, January 2022.
- Joris Tillet, Luc Jaulin, Fabrice Le Bars, and Reda Boukezzoula. A Fuzzy Set Estimation Using Interval Contractors: Application to Localization, pp. 4-25, February 2022.
- Martine Ceberio and Vladik Kreinovich. Interval Papers at the 2022 Annual Conference of the North American Fuzzy Information Processing Society NAFIPS'2022, pp. 26-28, June 2022.
- Martine Ceberio and Vladik Kreinovich. Interval-Related Papers at the 19th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU'2022, pp. 29-32, July 2022.
- Martine Ceberio and Vladik Kreinovich. Interval-Related Papers at the 2022 IEEE World Congress on Computational Intelligence IEEE WCCI'2022, pp. 33-36, July 2022.