Tables of Contents (starting in 2010)
Full text is available in PDF for each listed paper by clicking on the link for that paper.
Users of this site should properly credit and cite any material they use.
(With some exceptions, papers are sequenced in the order in which the final accepted manuscript has been received.)
(June to December, 2010)
(Special volume devoted to material presented at
(July, 2011 through December, 2012)
(Special Issue on the Use of Bernstein Polynomials in Reliable Computing: A Centennial Anniversary)
(Special volume devoted to material presented at
(Special issue devoted to material presented at
Supplementum: Proceedings of the 2002 SIAM Workshop on Validated Computing
Go to the
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
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
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 Krämer, and Werner Hofschuster,
Sparse Matrices and Vectors in C-XSC
, pp. 138-160, January, 2011
Volume 15 (Special volume devoted to material presented at
Guest editors: Martine Ceberio and Vladik Kreinovich
(Martine Ceberio and Vladik Kreinovich)
René 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
Solving Overdetermined Systems in l
, pp. 13-25, May, 2011
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 Longpré,
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
Sandeep Hattangady, William Edmonson, and Winser Alexander,
Block Floating Point Interval ALU for Digital Signal Processing
, pp. 69-80, June, 2011
Computational Aspects of the Implementation of Disk Inversions
, pp. 81-90, June, 2011
Miodrag S. Petković and Dušan M. Milošević,
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
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 Krämer and Michael Zimmer,
Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations
, pp.193-206, July, 2011
Bartłomiej Jacek Kubica,
Interval Methods for Solving Underdetermined Nonlinear Systems
, pp.207-217, July, 2011
Tanja Magoč, Martine Ceberio, and Francois Modave,
Using Preference Constraints to Solve Multi-Criteria Decision Making Problems
, pp.218-229, July, 2011
Miguel Argáez, Leticia Velázquez, Carlos Quintero, Hector Klie, and Mary Wheeler,
A Hybrid Algorithm for Global Optimization Problems
, pp.230-241, July, 2011
Julie Roy et al,
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 Jürgen Wolff von Gudenberg,
Solving Decidability Problems with Interval Arithmetic
, pp. 279-289, July, 2011
Lev Kapitanski and Sanja Živanovič,
Dynamics with a Range of Choice
, pp. 290-299, July, 2011
Tanja Magoč, 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 Hladík 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
Elke Just and Bruno Lang,
A Success-Guided Selection of Expanded Systems for Result-Verifying Nonlinear Solvers
, pp. 73-83, March, 2012.
Peter Schodl and Arnold Neumaier,
Continuity Notions for Multi-Valued Mappings with Possibly Disconnected Images
, pp. 84-101, March, 2012.
Componentwise Error Estimates for Solutions Obtained by Stationary Iterative Methods
, pp. 102-106, April, 2012.
The Relation between Two Types of Error Bounds for Computed Matrix Eigenvalues
, pp. 107-113, April, 2012.
YalAA: Yet Another Library for Affine Arithmetic
, pp. 114-129, September, 2012.
Modal Intervals Revisited, Part 1: A Generalized Interval Natural Extension
, pp. 130-183, October, 2012.
Modal Intervals Revisited, Part 2: A Generalized Interval Mean Value Extension
, pp. 184-209, October, 2012.
On an Expression for the Midpoint and the Radius of the Product of Two Intervals
, pp. 210-224, October, 2012.
Mimica R. Milošević and Miodrag S. Petković,
Ostrowski-Like Method for the Inclusion of a Single Complex Polynomial Zero
, pp. 225-238, October, 2012.
Pau Herrero, Pantelis Georgiou, Christofer Toumazou, Benoît 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.
A New Uncertainty-Bearing Floating-Point Arithmetic
pp. 308-361, December, 2012.
Volume 17 (Special Issue on the Use of Bernstein Polynomials in Reliable Computing: A Centennial Anniversary)
Guest editors: Jürgen Garloff and Andrew P. Smith
Jürgen Garloff and Andrew P. Smith)
Part 1: New Properties
Jorge Delgado and Juan Manuel Peña
Optimality of Bernstein Representations for Computational Purposes,
pp. 1-10, December, 2012
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, Jürgen Garloff, Andrew P. Smith, and César A. Muñoz,
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 Béla and Bert Jüttler
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 César A. Mu
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.
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.
Housen Li, Lizhi Cheng, Roberto Barrio, Canbin Hu, and Xiangke Liao,
Accurate, Validated and Fast Evaluation of Bézier Tensor Product Surfaces
, pp. 55-72, May, 2013.
ālina Eraşcu 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 Longpré 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 Schönhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic
, pp. 97-116, September, 2013.
C++ code described in the article
Olivier Mullier, É
ric 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.
Windows executable by the author for computing pseudo-inverse enclosures with the algorithm in the paper.
Volume 19 (Special volume devoted to material presented at
Сергей Петрович Шарый (Sergey Shary)
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.
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 Théveny,
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.
A. Minamihata, K. Sekine, T. Ogita, and S. Oishi,
Fast Verified Solutions of Sparse Linear Systems with H-matrices
, pp. 127-141.
J. Horáček and M. Hladík,
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.
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.
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.
Computation of Potential and Attraction Force of an Ellipsoid
, pp. 318-329.
Andreas Rauh, Luise Senkel, Thomas Dötschel, 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.
Bartłomiej 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 (specially marked, as Irene left it).
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.
A Note on the Boundary Shape of Matrix Polytope Products,
pp. 73-88, October, 2014.
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 Longpré, 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.
The Solution Set of Interval Linear Equations is Homeomorphic to the Unit Cube: An Explicit Construction
, pp. 25-34, November, 2015.
Pacôme Eberhart, Julien Brajard, Pierre Fortin, and Jabienne Jézéquel,
High Performance Numerical Validation using Stochastic Arithmetic
, pp. 35-52, December, 2015.
(Special issue devoted to material presented at
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.
A Class of Iterative Methods for Determining p-Solutions of Linear Interval Parametric Systems
, pp. 26-46, May, 2016.
Go to the