scientific article; zbMATH DE number 3281219

Publication date: 1966

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) General methods in interval analysis (65G40) Error analysis and interval analysis (65Gxx)

Related Items

Continuous amortization and extensions: with applications to bisection-based root isolation, Extended gradual interval (EGI) arithmetic and its application to gradual weighted averages, Single level constraint interval arithmetic, On the solutions of the quaternion interval systems $[x = [A] [x] + [b]$], Importance analysis on the failure probability of the fuzzy and random system and its state dependent parameter solution, Global dynamics in a stage-structured discrete-time population model with harvesting, A study of rigorous ODE integrators for multi-scale set-oriented computations, Multi-step root solvers of Traub's type in real interval arithmetic, Even faster integer multiplication, The Cauchy type problem for interval-valued fractional differential equations with the Riemann-Liouville gH-fractional derivative, Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects, Algebraic and topological structure of some spaces of set-valued maps, Proving tight bounds on univariate expressions with elementary functions in Coq, Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters, Variational theory and computations in stochastic plasticity, Rigorous enclosures of rotation numbers by interval methods, Stabilization of the motion of a nonlinear system with interval initial conditions, Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?, Sufficient optimality conditions and duality theory for interval optimization problem, Inventory model with fuzzy lead-time and dynamic demand over finite time horizon using a multi-objective genetic algorithm, An interval Newton method, Complex sector arithmetic, Čech type approach to computing homology of maps, A constant enclosure method for validating existence and uniqueness of the solution of an initial value problem for a fractional differential equation, Calculus for interval-valued functions using generalized Hukuhara derivative and applications, Globally optimal algorithms for stratified autocalibration, Uncertainty propagation or box propagation, An algorithm for isolating the real solutions of piecewise algebraic curves, An interval extension based on occurrence grouping, Root isolation of zero-dimensional polynomial systems with linear univariate representation, Reducing rounding errors and achieving Brouwer's law with Taylor series method, A new method of obtaining the priority weights from an interval fuzzy preference relation, Reliable amplitude and frequency estimation for biased and noisy signals, An interval set model for learning rules from incomplete information table, New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations, Duality theory in interval-valued linear programming problems, An interval Kalman filtering with minimal conservatism, On a computer-aided approach to the computation of Abelian integrals, Interval boundary element method in the presence of uncertain boundary conditions, integration errors, and truncation errors, Computational complexity of iterated maps on the interval, A metaheuristic methodology based on the limitation of the memory of interval branch and bound algorithms, Real intersection points of piecewise algebraic curves, Multi-confidence rule acquisition and confidence-preserved attribute reduction in interval-valued decision systems, Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I, Interval analysis of structures with uncertain-but-bounded axial stiffness, Interval differential equations with a second type Hukuhara derivative, Interval Ostrowski-type methods with guaranteed convergence, SqFreeEVAL: An (almost) optimal real-root isolation algorithm, An algorithm to determine linear independence of a set of interval vectors, Worst case bounds on the point-wise discretization error in boundary element method for the elasticity problem, Structural design optimization subjected to uncertainty using fat Bézier curve, Interval methods for model qualification: methodology and advanced application, Fuzzy post-retirement financial concepts: an exploratory study, Balancing and scheduling of flexible mixed model assembly lines, A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations, Upper bounding in inner regions for global optimization under inequality constraints, Interval-based projection method for under-constrained numerical systems, Automatic implementation of the numerical Taylor series method: a \textsc{Mathematica} and \textsc{Sage} approach, Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof, Stability and bionomic analysis of fuzzy parameter based prey-predator harvesting model using UFM, Extension of Wolfe method for solving quadratic programming with interval coefficients, A reliable affine relaxation method for global optimization, Uncertainty measurement for interval-valued information systems, Some examples using the interval data type in the relational database model., Two-stage stochastic programming problems involving interval discrete random variables, A new hybrid algorithm based on chaotic maps for solving systems of nonlinear equations, Multi-period cardinality constrained portfolio selection models with interval coefficients, Newton method to obtain efficient solutions of the optimization problems with interval-valued objective functions, A necessary and sufficient criterion to guarantee feasibility of the interval Gaussian algorithm for a class of matrices, Evolutionary technique based goal programming approach to chance constrained interval valued bilevel programming problems, A Newton method for capturing efficient solutions of interval optimization problems, Rigorous bounds for polynomial Julia sets, A family of centered forms for a polynomial, Fuzzy and interval-valued fuzzy decision-theoretic rough set approaches based on fuzzy probability measure, Fractional calculus for interval-valued functions, Robust multi-view $L_2$ triangulation via optimal inlier selection and 3D structure refinement, Finite resolution dynamics, Computing accurate Poincaré maps, Adaptive isotopic approximation of nonsingular curves: The parameterizability and nonlocal isotopy approach, The extrapolated interval global optimization algorithm, On the compatibility between defuzzification and fuzzy arithmetic operations, Generalized derivative and $\pi $-derivative for set-valued functions, Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques, A stochastic partial differential equation for computational algorithms, Global descent methods for unconstrained global optimization, Breaking the limits: The Taylor series method, Stability analysis and synthesis of multivariable fuzzy systems using interval arithmetic, Set membership state and parameter estimation for systems described by nonlinear differential equations, Fuzzy conditional convergence and nearness relations, Intersection test and blossoming perturbation for disk parametric curves and ball parametric surfaces, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, Basic statistics for distributional symbolic variables: a new metric-based approach, Set membership parameter estimation of fractional models based on bounded frequency domain data, FORTRAN-SC. A study of a FORTRAN extension for engineering/scientific computation with access to ACRITH, Solving nonlinear interval optimization problem using stochastic programming technique, The influence of interval arithmetic on the shape of uncertainly defined domains modelled by closed curves, Some integral inequalities for interval-valued functions, Interval type-2 relative entropy fuzzy C-means clustering, Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point, On Gronwall type inequalities for interval-valued functions on time scales, Nonlinear bounded-error state estimation of continuous-time systems, Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation, An improved algorithm for the control synthesis of nonlinear sampled switched systems, An interval arithmetic domain decomposition method for a class of elliptic PDEs on nonrectangular domains, On the interval differential equation: novel solution methodology, Compositional synthesis of state-dependent switching control, A class of belief structures based on possibility measures, ATOMFT: Solving ODEs and DAEs using Taylor series, Acceleration of convergence of interval sequences, Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, Hashing lazy numbers, Safe starting regions by fixed points and tightening, On a class of enclosure methods for initial value problems, A new concept of fixed point in metric and normed interval spaces, Determination of locations of point-like masses in an inverse source problem of the Poisson equation, Fuzzy points: Algebra and application, Inversion error, condition number, and approximate inverses of uncertain matrices, Model conversion of uncertain linear systems with input time-delay via the interval bilinear approximation method, PCF extended with real numbers, Topologically reliable approximation of composite Bézier curves, Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems, An interval-based approach to model input uncertainty in M/M/1 simulation, Function representation based slicer for 3D printing, Different solution strategies for solving epidemic model in imprecise environment, The convergence speed of interval methods for global optimization, Model conversions of uncertain linear systems using interval multipoint Padé approximation, Interactions between nonlinear programming and modeling systems, Robust analysis and design of control systems using interval arithmetic, Formulation assistance for global optimization problems, A sufficient condition for non-overestimation in interval arithmetic, Preference programming through approximate ratio comparisons, \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton}, Solving linear, min and max constraint systems using CLP based on relational interval arithmetic, Remarks on the complexity of roundoff analysis, Étude statistique des erreurs dans l'ARITHM<ETIQUE DES ORDINATEURS, APPLICATIONS AU CONTR<OLE DES R<ESULTTS D'algorithmes numériques, Numerical solution for bounding feasible point sets, Ten methods to bound multiple roots of polynomials, Fuzzy modeling of manufacturing and logistic systems., An interval component for continuous constraints., Approximated fuzzy LR computation., On computing the range of a rational function of n variables over a bounded region, Die Überschätzung des Wertebereichs einer Funktion in der Intervallrechnung mit Anwendungen auf lineare Gleichungssysteme, Stability and convergence of monotonic algorithms, On the computation of Hermite interval interpolating polynomials, Interval arithmetic in unidimensional signomial programming, On componentwise error estimates for inverse matrices, On fuzziness and linguistic probabilities, A note on the extension principle for fuzzy sets, Interval forms of Newtons method, Optimal simulation lengths for various algorithms computing the mean, Global optimization using interval analysis: The one-dimensional case, On many-valued logics, fuzzy sets, fuzzy logics and their applications, The concept of a linguistic variable and its application to approximate reasoning. I, Compartmental models with uncertain flow rates, Choosing a stepsize for Taylor series methods for solving ODE'S, An interval arithmetic method for global optimization, Multivariate interval interpolation, The construction of a priori bounds for the solution of a two point boundary value problem with finite elements. I, The concept of a linguistic variable and its application to approximate reasoning. II, The concept of a linguistic variable and its application to approximate reasoning. III, Calculus for interval functions of a real variable, Forms for meromorphic functions, Solving stiff system by Taylor series, Rigorously computed orbits of dynamical systems without the wrapping effect, Discretization of cascaded continuous-time controllers and uncertain systems, A gentle introduction to Numerica, A domain-theoretic approach to computability on the real line, Induction and recursion on the partial real line with applications to Real PCF, Graded numbers and graded convergence of fuzzy numbers, Fuzzy-valued integrals of fuzzy-valued measurable functions with respect to fuzzy-valued measures based on closed intervals, Modifications of the interval-Newton-method with improved asymptotic efficiency, Fuzzy reliability analysis based on closed fuzzy numbers, Fuzzy arithmetic with requisite constraints, A parametric representation of fuzzy numbers and their arithmetic operators, A Chebyshev differentiation method, Frequency domain methods for the solutions of $N$th-order fuzzy differential equations, Time domain methods for the solutions of $N$th-order fuzzy differential equations, A note on the fuzzy extension of Saaty's priority theory, Solving processes for a system of first-order fuzzy differential equations, Computable Banach spaces via domain theory, Calculating uncertainty intervals in approximate equation systems, Constraint propagation techniques for the disjunctive scheduling problem, Interval analysis: Theory and applications, Digital modeling and hybrid control of sampled-data uncertain system with input time delay using the law of mean, Effects of fuzziness on dynamical similarity and Reynolds number, Decomposition and interval arithmetic applied to global minimization of polynomial and rational functions, On some interval methods for algebraic, exponential and trigonometric polynomials, Characterization of perturbed mathematical programs and interval analysis, Computation of singularities and intersections of offsets of planar curves, Solving the full rank interval least squares problem, Modeling temporal functions with granular regression and fuzzy rules, A lower bound for range enclosure in interval arithmetic, Convergence of Newton-like methods for nonlinear systems, The Cholesky method for interval data, Accelerating filtering techniques for numeric CSPs, Reduced conservatism in stability analysis of interval matrices, Cord-slope form of Taylor's expansion in univariate global optimization, A sixth-order $A$-stable explicit one-step method for stiff systems, Comparison of interval methods for plotting algebraic curves, Some recent advances in validated methods for IVPs for ODEs, New Jensen and Hermite-Hadamard type inequalities for $h$-convex interval-valued functions, Rigorous roundoff error analysis of probabilistic floating-point computations, Simulation of discrete linear time-invariant fuzzy dynamic systems, An interdependency index for the outputs of uncertain systems, An approximation to the extension principle using decomposition of fuzzy intervals, On the fuzzy difference equations of finance, A second-order pruning step for verified global optimization, Contractor programming, Modular global optimisation in chemical engineering, Propagating systems of dense linear integer constraints, Blending implicit interval curves and surfaces, Application of the Krawczyk-Moore-Jones algorithm to electric circuit analysis and its further development, An application of Taylor models to the Nakao method on ODEs, Termination of floating-point computations, Approximate distances, pointless geometry and incomplete information, The octagon abstract domain, The solution of fuzzy linear systems by nonlinear programming: a financial application, Constraints propagation techniques on intervals for a guaranteed localization using redundant data, The small octagon with longest perimeter, Interval Monte Carlo as an alternative to second-order sampling for estimating ecological risk, Recent advances in non-probabilistic approaches for non-deterministic dynamic finite element analysis, On multistep interval methods for solving the initial value problem, Principles of verified numerical integration, Interval analysis techniques for boundary value problems of elasticity in two dimensions, Interval finite elements as a basis for generalized models of uncertainty in engineering mechanics, Formulation for reliable analysis of structural frames, Verified integration of linear $n$th order ODEs using large steps, Multiple objective linear programming models with interval coefficients -- an illustrated overview, Correspondence analysis with fuzzy data: The fuzzy eigenvalue problem, Robust MPC of constrained discrete-time nonlinear systems based on approximated reachable sets, Linear disriminant analysis for interval data, Principal component analysis on interval data, Error bounds for initial value problems by optimization, Constrained intervals and interval spaces, Probability bounds analysis for nonlinear population ecology models, Applied computational geometry: Towards robust solutions of basic problems, Constraint propagation, relational arithmetic in AI systems and mathematical programs, Structural assessment under uncertain parameters via interval analysis, A reinforcement learning approach to interval constraint propagation, Homology algorithm based on acyclic subspace, The design of granular classifiers: A study in the synergy of interval calculus and fuzzy sets in pattern recognition, Computation of symbolic dynamics for one-dimensional maps, Duality theory for optimization problems with interval-valued objective functions, Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds, A new framework for sharp and efficient resolution of NCSP with manifolds of solutions, A branch and bound algorithm for numerical Max-CSP, A generalization of Hukuhara difference and division for interval and fuzzy arithmetic, Newton's method and FFT trading, A study of Greek letters of currency option under uncertainty environments, Computation of bounds for eigenvalues of structures with interval parameters, Interval observer design for consistency checks of nonlinear continuous-time systems, Computing reachable sets for uncertain nonlinear monotone systems, Symbolic interval inference approach for subdivision direction selection in interval partitioning algorithms, Comparison between Baumann and admissible simplex forms in interval analysis, Rigorous parameter reconstruction for differential equations with noisy data, Robust set-membership state estimation; application to underwater robotics, Interval time series analysis with an application to the sterling-dollar exchange rate, Period doubling in the Rössler system -- a computer assisted proof, The root and Bell's disk iteration methods are of the same error propagation characteristics in the simultaneous determination of the zeros of a polynomial. I: Correction methods, Interval iterative algorithm for computing the piecewise algebraic variety, Isoperimetric polygons of maximum width, A framework for existence tests based on the topological degree and homotopy, Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information, A new method for solving interval and fuzzy equations: linear case, Wolfe duality for interval-valued optimization, Computing with words with the use of inverse RDM models of membership functions, Realizability interpretation of proofs in constructive analysis, Static response bounds of Timoshenko beams with spatially varying interval uncertainties, A general theory of fuzzy arithmetic, Interval Newton method: Hansen-Greenberg approach - some procedural improvements, Enclosing all zeros of an analytic function - a rigorous approach, Analysis of systems subject to parameter uncertainties: Application of interval analysis, An extreme limit theorem for dependency bounds of normalized sums of random variables, A jump-diffusion model for option pricing under fuzzy environments, Schröder-like algorithms for multiple complex zeros of a polynomial, Hybrid inclusion algorithms for polynomial multiple complex zeros in rectangular arithmetic, Centered forms and interval operators, A new method for automatical computation of error bounds for the set of all solutions of nonlinear boundary value problems, Computing the range of values of real functions with accuracy higher than second order, Solution of fuzzy equations with extended operations, New techniques for the analysis of linear interval equations, Calculating the possible conformations arising from uncertainty in the molecular distance geometry problem using constraint interval analysis, Aggregation operators with moving averages, Hermite-Hadamard- and Jensen-type inequalities for interval $(h_1,h_2)$ nonconvex function, A decision-making model based on interval additive reciprocal matrices with additive approximation-consistency, Self-triggered and event-triggered set-valued observers, Improving accuracy of financial distress prediction by considering volatility: an interval-data-based discriminant model, Nonlinear optimal control: a numerical scheme based on occupation measures and interval analysis, Runge-Kutta type integration formulas including the evaluation of the second derivative. I, The centered form and the mean value form - a necessary condition that they yield the range, Solutions of algebraic equations involving generalized fuzzy numbers, Interval tools for global optimization, Unconstrained global optimization using strict complementary slackness, A contribution to the feasibility of the interval Gaussian algorithm, Terminological difficulties in fuzzy set theory -- the case of ``intuitionistic fuzzy sets, Fuzzy inventory model with two warehouses under possibility constraints, Guaranteed state estimation by zonotopes, VSVO formulation of the Taylor method for the numerical solution of ODEs, A survey of non-probabilistic uncertainty treatment in finite element analysis, The design of the Boost interval arithmetic library, Existence of solutions of piecewise differentiable systems of equations, Evidence measures based on fuzzy information, Symbolic dynamics for the renormalization map of a quasiperiodic Schrödinger equation, Fuzzy weighted averages and implementation of the extension principle, Stochastic approach of the permutation-perturbation method for round-off error analysis, Interval arithmetic methods for systems of nonlinear equations arising from discretizations of quasilinear elliptic and parabolic partial differential equations, Inclusion isotonicity of circular complex centered forms, Some interval iterations for finding a zero of a polynomial with error bounds, Vertex method for computing functions of fuzzy variables, The mean value of a fuzzy number, Inclusion functions and global optimization. II, Algorithms for polynomials in Bernstein form, Two-sided solution of ODE's via a posteriori error estimates, Fuzzy intersection graphs, A non-Gaussian renormalization group fixed point for hierarchical scalar lattice field theories, Fuzzy quantifiers in syllogisms, direct versus inverse computations, Control of economic systems under the process of data improvement, A preservation theorem for fuzzy number theory, The number of centered forms for a polynomial, Computational issues in solid boundary evaluation, Analysis of mathematical models for pollutant transport and dissipation, Modeling uncertainty with belief functions in numerical models, Survey of integral algorithms for ordinary differential equations, Guaranteed inclusions for the complex generalized eigenproblem, Optimal choice of linear interval extension, On Euler-like methods for the simultaneous approximation of polynomial zeros, Disk Bézier curves, Determination of minimum sets of the set of zeros of a function, Signomial dual Kuhn-Tucker intervals, Order-convergence and iterative interval methods, New methods for evaluating the validity of the results of mathematical computations, Mean value forms in interval analysis, Global optimization using interval analysis - the multi-dimensional case, Bounding the slope of polynomial operators and some applications, On the iterative inclusion of solutions in characteristic initial-value problems with hyperbolic differential equation $z_{st}=f(s,t,z)$, Persistence of predator-prey systems in an uncertain environment, Interval extensions and interval iterations, Computational methods of linear algebra, Interval boxes of solutions of nonlinear systems, Bounding solutions of systems of equations using interval analysis, FORTRAN for contemporary numerical computation, Die zentrische Form in der Intervallarithmetik, ihre quadratische Konvergenz und ihre Inklusionsisotonie, Linear interval equations, Centered forms for functions in several variables, The circular complex centered form, Optimal computation of the Bernstein algorithm for the bound of an interval polynomial, The centered form for interval polynomials, Inverting an interval Hessian of a factorable function, Optimality of the centered form for polynomials, Die Auflösbarkeit linearer Kreisscheiben- und Intervall-Gleichungssysteme, Solution of finite systems of equations by interval iteration, A method for the computation of bounds with convergence of arbitrary order for ordinary linear boundary value problems, Algebraic characteristics of extended fuzzy numbers, LP-form inclusion functions for global optimization, Estimation of the sensitivity of linear and nonlinear algebraic problems, A new approach to uncertain parameter linear programming, Defuzzification of fuzzy intervals, An analytical approach to global optimization, A new method of evaluating compact geometric bounds for use in subdivision algorithms, On the solution of interval linear systems, The extension of Picard's successive approximation for constructing two- side bounds for the solutions of differential equations, What can interval analysis do for global optimization?, Extended concept of significant digits and lower precision computations, Some remarks on two interval-arithmetic modifications of the Newton method, Dominance relations on fuzzy numbers, On global optimization using interval arithmetic, Multi-criteria ranking of components according to their priority for inspection, Constraint reasoning based on interval arithmetic: The tolerance propagation approach, Calculation of bounds on variables satisfying nonlinear inequality constraints, Interval probability propagation, Arithmetiken für komplexe Kreise, Eine Anwendung des Brouwerschen Fixpunktsatzes in der Intervallarithmetik der Matrizen, Über das Produkt von Intervallpolynomen, Reducing the degree of an interval polynomial, Some algorithms for interval interpolating polynomial, Vergroeberung von Intervallpolynomen, Ein Verfahren zur Behandlung von Ausgleichsaufgaben mit Intervallkoeffizienten, On asymptotic extrapolation, Generalized Hukuhara differentiability of interval-valued functions and interval differential equations, Bounding the zeros of an interval equation, Isolating the real roots of the piecewise algebraic variety, Intersection points algorithm for piecewise algebraic curves based on Groebner bases, Interval sensitivity theory and its application to frequency response envelope analysis of uncertain structures, On the derivation of guaranteed error estimates for the Adams method, Enhancing numerical constraint propagation using multiple inclusion representations, Interval regression analysis using support vector networks, Interval propagation and search on directed acyclic graphs for numerical constraint solving, Enhanced-interval linear programming, Generalized arithmetic operators and their relationship to t-norms in interval-valued fuzzy set theory, The use of interval arithmetic in solving a non-linear rational expectation based multiperiod output-inflation process model: the case of the IN/GB method, Hahn-Banach theorems in nonstandard normed interval spaces, Error linearization as an effective tool for experimental analysis of the numerical stability of algorithms, A computational approach to fuzzy quantifiers in natural languages, Interval iterations for including a set of solutions, On higher order centered forms, A low complexity explicit rational centered form, Interval iteration for zeros of systems of equations, Fuzzy sets and statistical data, Application of A-stable bilateral approximation to the integration of ordinary differential equations, Low complexity k-dimensional centered forms, Improved validated bounds for Taylor coefficients and for Taylor remainder series, Interval analysis and fuzzy set theory, A Takagi--Sugeno model with fuzzy inputs viewed from multidimensional interval analysis, On the interval Legendre polynomials., Reducing the wrapping effect, An interval branch and bound algorithm for global optimization of a multiperiod pricing model, The cutting of compositions, On the usage of qualitative reasoning as an approach towards enterprise modelling, Formulas for the width of interval products, A parallel interval method implementation for global optimization using dynamic load balancing, Applications of interval computations to earthquake-resistant engineering: How to compute derivatives of interval functions fast, An estimation method for the number of point masses in an inverse logarithmic potential problem using discrete Fourier transform, Lower bounds for the $R$-order of convergence of simultaneous inclusion methods for polynomial roots and related iteration methods, Epsilon-inflation in verification algorithms, The physical-mathematical theory of hyper-random phenomena, Interpolation that leads to the narrowest intervals and its application to expert systems and intelligent control, A software interface and hardware design for variable-precision interval arithmetic, On the selection of subdivision directions in interval branch-and-bound methods for global optimization, A branch-and-bound algorithm for bound constrained optimization problems without derivatives, Interval approximation of higher order to the ranges of functions, Robust interval stability, persistence, and partial stability of Lotka-Volterra systems with time-delay, On parameter loci of the Hénon family, Bounds of high quality for first kind Volterra integral equations, Variable-precision, interval arithmetic coprocessors, Software for high radix on-line arithmetic, Interval operations involving NaNs, Beyond the Melnikov method. II: Multidimensional setting, A generalized distance based on a generalized triangle inequality, Optimal interval enclosures for fractionally-linear functions, and their application to intelligent control, Chebyshev model arithmetic for factorable functions, Certificates of infeasibility via nonsmooth optimization, A comparative study on interval arithmetic operations with intuitionistic fuzzy numbers for solving an intuitionistic fuzzy multi-objective linear programming problem, A branch-and-reduce approach to global optimization, A certified branch \& bound approach for reliability-based optimization problems, Fault detection for LPV systems using set-valued observers: a coprime factorization approach, Vector-valued interval functions and the Dedekind completion of $C(X,E)$, Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions, Uncertainty propagation of p-boxes using sparse polynomial chaos expansions, raSAT: an SMT solver for polynomial constraints, Zonotopes and Kalman observers: gain optimality under distinct uncertainty paradigms and robust convergence, Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds, Efficient importance sampling in low dimensions using affine arithmetic, Multi-objective solid transportation problem in uncertain environment, A global constraint for over-approximation of real-time streams, Higher order multi-step interval iterative methods for solving nonlinear equations in $\mathbb R^n$, Stabilization of the motion of affine systems, Imprecise probability and chance, Identification of elastic properties in the belief function framework, Evidential box particle filter using belief function theory, A greedy approach for a rolling stock management problem using multi-interval constraint propagation. A greedy approach for a rolling stock management problem using multi-interval constraint propagation, ROADEF/EURO challenge 2014, An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs, Eigenvalue bounds for symmetric matrices with entries in one interval, Solving over-constrained systems of non-linear interval equations -- and its robotic application, Meta-heuristic interval methods of search of optimal in average control of nonlinear determinate systems with incomplete information about its parameters, Generalised operations on hesitant fuzzy values in the framework of Dempster-Shafer theory, Generalized interval vector spaces and interval optimization, Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization, Solution of quadratic programming with interval variables using a two-level programming approach, A new approach to normalization of interval and fuzzy weights, An interval method for studying the relationship between the Australian dollar exchange rate and the gold price, Function approximation on non-Euclidean spaces, The quickest path problem with interval lead times, Collision detection algorithm of a continuous type using spherical extreme vertex diagrams, Solution of elementary equations in the Minkowski geometric algebra of complex sets, Blending set and interval arithmetic for maximal reliability, Performance of the Taylor series method for ODEs/DAEs, Recent progress in exact geometric computation, An efficient pseudo-spectral method for nonsmooth dynamical systems, A quasi-Newton method with rank-two update to solve interval optimization problems, Joint cumulative distribution functions for Dempster-Shafer belief structures using copulas, Parametric computation of a fuzzy set solution to a class of fuzzy linear fractional optimization problems, An intuitionistic fuzzy programming method for group decision making with interval-valued fuzzy preference relations, A new approach to linear interval differential equations as a first step toward solving fuzzy differential, Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations, Reliable nonlinear state estimation involving time uncertainties, On possibility-degree formulae for ranking interval numbers, Adaptive interpolation algorithm based on a kd-tree for numerical integration of systems of ordinary differential equations with interval initial conditions, Solving a nonhomogeneous linear system of interval differential equations, Linear systems with $\Omega$-diagonally dominant matrices and related ones, Nonlinear equations and optimization, Validated solutions of initial value problems for ordinary differential equations, Two views of the theory of rough sets in finite universes, A macroscopic model of the diffusion and heat transfer processes in a periodically micro-stratified solid layer, A hybrid global optimization method: The multi-dimensional case, The globally convexized filled functions for global optimization, Analysis of structure in fuzzy linear programs, An error controlling Nyström method, Rational circular complex centered forms, On possibilistic linear programming, A complete proof of the Feigenbaum conjectures, Truncated interval arithmetic block cyclic reduction, A note on the circular complex centered form, Interval operators of a function of which the Lipschitz matrix is an interval M-matrix, Un metodo di approssimazione bilaterale per equazioni differenziali ordinarie, Die numerische Lösung linearer Differentialgleichungen zweiter Ordnung mit konstanten Koeffizienten, Passive robust fault detection using fuzzy parity equations, Integration in Real PCF, The transformation method for the simulation and analysis of systems with uncertain parameters, A hybrid global optimization method: The one-dimensional case, Hybrid analysis of uncertainty: Probability, fuzziness and anti-optimization, $Iq$-calculus and $Iq$-Hermite-Hadamard inequalities for interval-valued functions, Dynamic response analysis of structure with hybrid random and interval uncertainties, Fuzzy rating scales: does internal consistency of a measurement scale benefit from coping with imprecision and individual differences in psychological rating?, Spline collocation methods for systems of fuzzy fractional differential equations, Fractional inclusions of the Hermite-Hadamard type for $m$-polynomial convex interval-valued functions, On some Hermite-Hadamard type inequalities for $\mathcal{T}$-convex interval-valued functions, On the Hermite-Hadamard inequalities for interval-valued coordinated convex functions, Some fuzzy-interval integral inequalities for harmonically convex fuzzy-interval-valued functions, Fuzzy-interval inequalities for generalized preinvex fuzzy interval valued functions, On interval-valued $\mathbb{K}$-Riemann integral and Hermite-Hadamard type inequalities, Domain theoretic second-order Euler's method for solving initial value problems, A general method for computer-assisted proofs of periodic solutions in delay differential problems, Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds, Recent advances in a rigorous computation of Poincaré maps, New Hermite-Hadamard inequalities in fuzzy-interval fractional calculus via exponentially convex fuzzy interval-valued function, Solving mean-VaR portfolio selection model with interval-typed random parameter using interval analysis, Multi-objective enhanced interval optimization problem, On possible outputs of group decision making with interval uncertainties based on simulation techniques, Numerical certification of Pareto optimality for biobjective nonlinear problems, Certified numerical real root isolation for bivariate nonlinear systems, Piecewise linear bounding functions in univariate global optimization, A comprehensive group decision-making method with interval-valued intuitionistic fuzzy preference relations, Product ordered Hausdorff continuous $\mathbb{R}^n$-interval functions, Lie symmetries applied to interval integration, Weighted Hermite-Hadamard type inclusions for products of co-ordinated convex interval-valued functions, New Hermite-Hadamard-type inequalities for $(h_1, h_2)$-convex fuzzy-interval-valued functions, The uncertain ordered weighted averaging adequacy coefficient operator, Some integral inequalities for generalized left and right log convex interval-valued functions based upon the pseudo-order relation, On generating the set of nondominated solutions of a linear programming problem with parameterized fuzzy numbers, Interval field model and interval finite element analysis, Multiple mediation analysis for interval-valued data, Computer-assisted verification of four interval arithmetic operators, Interval methods of Adams-Bashforth type with variable step sizes, On the algebraic solution of fuzzy linear systems based on interval theory, Interval processing of electrochemical data, Efficient solution of interval optimization problem, A smoothing interval neural network, Fuzzy optimal control problem with non-linear functional, A functional analytic approach to validated numerics for eigenvalues of delay equations, Analysis and optimization of an adaptive interpolation algorithm for the numerical solution of a system of ordinary differential equations with interval parameters, Stochastic arithmetic in multiprecision, Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems, A perturbed collage theorem and its application to inverse interval integral problems, The small octagons of maximal width, Multiobjective two-stage stochastic programming problems with interval discrete random variables, Decision-making approach of two-sided matching of supply and demand of logistics service based on the uncertain preference ordinal, Interval versions for special kinds of explicit linear multistep methods, An improved method for fuzzy-interval uncertainty analysis and its application in brake instability study, Unified uncertainty analysis under probabilistic, evidence, fuzzy and interval uncertainties, Epistemic uncertainty-based reliability analysis for engineering system with hybrid evidence and fuzzy variables, TMsim: an algorithmic tool for the parametric and worst-case simulation of systems with uncertainties, A new approach to interval-valued probability measures, a formal method for consolidating the languages of information deficiency: foundations, Minkowski products of unit quaternion sets, A computer-assisted proof of symbolic dynamics in Hyperion's rotation, Central configurations in planar $n$-body problem with equal masses for $n=5,6,7$, Enclosing all zeros of a system of analytic functions, A smoothing filter based on an analogue of a Kalman filter for a guaranteed estimation of the state of dynamical systems, Importance analysis for model with mixed uncertainties, Rigorous verification of feasibility, A decomposition approach to type 2 interval arithmetic, Hybrid uncertainty analysis of functionally graded plates via multiple-imprecise-random-field modelling of uncertain material properties, Some optimality criteria of interval programming problems, Nonlinear biobjective optimization: improving the upper envelope using feasible line segments, A dynamical interval Newton method, Some inequalities related to interval-valued $\eta_h$-convex functions, Chebyshev type inequalities for interval-valued functions, Wirtinger-type integral inequalities for interval-valued functions, Numerical methods for solving fuzzy equations: a survey, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Dominance degrees for intervals and their application in multiple attribute decision-making, Fuzzy interval optimal control problem, An interval branch and bound method for global robust optimization, On new methods to construct lower bounds in simplicial branch and bound based on interval arithmetic, Adaptive interpolation algorithm on sparse meshes for numerical integration of systems of ordinary differential equations with interval uncertainties, Coupled fuzzy-interval model and method for structural response analysis with non-probabilistic hybrid uncertainties, Interval static analysis of multi-cracked beams with uncertain size and position of cracks, A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method, Spatial relative equilibria and periodic solutions of the Coulomb $(n+1)$-body problem, Dynamical analysis of a fuzzy phytoplankton-zooplankton model with refuge, fishery protection and harvesting, Uncertainties in coupled biological systems, A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains, Green's function method for modal analysis of structures with interval parameters, Sums and products of intervals in ordered groups and fields, Fractional Hermite-Hadamard type inequalities for interval-valued functions, Hermite-Hadamard-type inequalities for the interval-valued approximately $h$-convex functions via generalized fractional integrals, Post-quantum Hermite-Hadamard type inequalities for interval-valued convex functions, Interval approach to solving parametric identification problems for dynamical systems, Generalized-Hukuhara penalty method for optimization problem with interval-valued functions and its application in interval-valued portfolio optimization problems, Novel arithmetic operations on IVIFNs and their properties on ranking functions, Fuzzy integral inequalities on coordinates of convex fuzzy interval-valued functions, Actions of the hyperoctahedral group to compute minimal contractors, Event-triggered interval-based state estimator for continuous-time linear systems, Granular computing: fundamentals and system modeling, An efficient solution of nonlinear enhanced interval optimization problems and its application to portfolio optimization, Generalized Hukuhara-Clarke derivative of interval-valued functions and its properties, Mixed variational inequality interval-valued problem: theorems of existence of solutions, Hermite-Hadamard type inequalities for interval-valued fractional integrals with respect to another function, On symmetric gH-derivative: applications to dual interval-valued optimization problems, Near-coincidence point results in metric interval space and hyperspace via simulation functions, Hyers-Ulam-Rassias stability of high-dimensional quaternion impulsive fuzzy dynamic equations on time scales, Computing the noncentral-$F$ distribution and the power of the $F$-test with guaranteed accuracy, Optimality conditions and duality for arcwise connected interval optimization problems, Interval unions, A family of centered forms for rational functions, The Karush-Kuhn-Tucker optimality conditions in multiobjective programming problems with interval-valued objective functions, Computing slope enclosures by exploiting a unique point of inflection, Bipartite multigraphs with expander-like properties, Lack of knowledge in structural model validation, Numerical methods for interval and fuzzy number comparison based on the probabilistic approach and Dempster-Shafer theory, Computing expensive multivariate functions of fuzzy numbers using sparse grids, Interval implicitization of rational curves, Algorithm for min-range multiplication of affine forms, On estimating workload in interval branch-and-bound global optimization algorithms, Maximal perimeter, diameter and area of equilateral unit-width convex polygons, On interval branch-and-bound for additively separable functions with common variables, Chaotic quantum behaved particle swarm optimization algorithm for solving nonlinear system of equations, A branch and bound algorithm for quantified quadratic programming, Multiperiod mean semi-absolute deviation interval portfolio selection with entropy constraints, Interval linear systems as a necessary step in fuzzy linear systems, Generalized solution sets of the interval generalized Sylvester matrix equation $\sum_{i=1}^p\mathbf A_iX_i+\sum_{j=1}^qY_j\mathbf B_j=\mathbf C$ and some approaches for inner and outer estimations, Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation, On interval predictor-corrector methods, Thick set inversion, Using interval unions to solve linear systems of equations with uncertainties, Interval versions of Milne's multistep methods, Reliability analysis of structures with interval uncertainties under stationary stochastic excitations, Stochastic finite element analysis of structures in the presence of multiple imprecise random field parameters, Exploratory data analysis for interval compositional data, Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor, Enhancing interval constraint propagation by identifying and filtering $n$-ary subsystems, A numerical approach to a multi-objective optimal inventory control problem for deteriorating multi-items under fuzzy inflation and discounting, Fast algorithms for floating-point interval matrix multiplication, A note on the convergence of parametrised non-resonant invariant manifolds, The Karush--Kuhn--Tucker optimality conditions in an optimization problem with interval-valued objective function, Balanced random interval arithmetic in market model estimation, A KAM theory for conformally symplectic systems: efficient algorithms and their validation, Guessing singular dependencies, Fault detection of uncertain chemical processes using interval partial least squares-based generalized likelihood ratio test, Application of interval-valued aggregation to optimization problem of $k$-NN classifiers for missing values case, Closed form fuzzy interpolation, A fuzzy logic based approach to solve interval multiobjective nonlinear transportation problem, Duality and saddle-point type optimality for interval-valued programming, Hermite-Hadamard and fractional integral inequalities for interval-valued generalized $p$-convex function, A branch and prune algorithm for the computation of generalized aspects of parallel robots, A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic, Efficient interval partitioning-local search collaboration for constraint satisfaction, Extremal problems for convex polygons, Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm, An exact global optimization method for deriving weights from pairwise comparison matrices, An analysis of arithmetic constraints on integer intervals, On sufficient conditions of the injectivity: Development of a numerical test algorithm via interval analysis, Guaranteeing the homotopy type of a set defined by non-linear inequalities, An estimate for the global error of the Adams method on long intervals, Equivalence class in the set of fuzzy numbers and its application in decision-making problems, An interval Kalman filter enhanced by lowering the covariance matrix upper bound, Milne type inequality and interval orders, An understandable way to discover methods to model interval input-output samples, Coupling of homotopy perturbation method and kriging surrogate model for an efficient fuzzy linear buckling analysis: application to additively manufactured lattice structures, Safety verification of non-linear hybrid systems is quasi-decidable, First order rejection tests for multiple-objective optimization, An approach for solving a fuzzy multiobjective programming problem, Group decision making with expertons and uncertain generalized probabilistic weighted aggregation operators, A computer-assisted proof of existence of a periodic solution, Optimale Lösung von Intervallgleichungssystemen, Parallelization method for a continuous property, Nonlinear biobjective optimization: improvements to interval branch \& bound algorithms, Global optimization to prescribed accuracy, A fuzzy multi-objective linear programming with interval-typed triangular fuzzy numbers, The operations on interval-valued intuitionistic fuzzy values in the framework of Dempster-Shafer theory, Numerical integration over implicitly defined domains with topological guarantee, Concept of modeling uncertainly defined shape of the boundary in two-dimensional boundary value problems and verification of its reliability, A standard branch-and-bound approach for nonlinear semi-infinite problems, Certain information granule system as a result of sets approximation by fuzzy context, Consistency and consensus modeling of linear uncertain preference relations, A new hybrid uncertainty optimization method for structures using orthogonal series expansion, Development of metaheuristic interval minimization methods for optimal program control design, Fuzzy uncertainty propagation in composites using Gram-Schmidt polynomial chaos expansion, Stepsize selection in the rigorous defect control of Taylor series methods, A unified method and its application to brake instability analysis involving different types of epistemic uncertainties, Uncertainty static analysis of structures with hybrid spatial random and interval properties, Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption, Parameter range reduction from partial data in systems of differential algebraic equations, Automated formal synthesis of provably safe digital controllers for continuous plants, Algebraic solution to interval equilibrium equations of truss structures, A novel interval finite element method based on the improved interval analysis, An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator, Uncertainty quantification for stochastic dynamical systems using time-dependent stochastic bases, Some inequalities for interval-valued functions on time scales, Opial-type inequalities for interval-valued functions, Karush-Kuhn-Tucker conditions for interval and fuzzy optimization in several variables under total and directional generalized differentiability, Using geometric interval algebra modeling for improved three-dimensional camera calibration, A generalization of trapezoidal fuzzy numbers based on modal interval theory, Interval generalized ordered weighted utility multiple averaging operators and their applications to group decision-making, Interval fuzzy segments, An interval algorithm for uncertain dynamic stability analysis, Solving the linear interval tolerance problem for weight initialization of neural networks, A new proof of interval extension of the classic Ostrowski's method and its modified method for computing the enclosure solutions of nonlinear equations, Rigorous integration of non-linear ordinary differential equations in Chebyshev basis, A spectral approach for fuzzy uncertainty propagation in finite element analysis, On soft predicates in subdivision motion planning, Guaranteed characterization of exact non-asymptotic confidence regions as defined by LSCR and SPS, RESPONSE STATISTICS OF LINEAR STRUCTURES WITH UNCERTAIN-BUT-BOUNDED PARAMETERS UNDER GAUSSIAN STOCHASTIC INPUT, Verified Analysis of a Biomechanics-Related System, Optimality conditions and duality results for non-differentiable interval optimization problems, Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation), Extension of the Hansen-Bliek method to right-quantified linear systems, Validated solutions of initial value problems for parametric ODEs, Reliable Robust Path Planning with Application to Mobile Robots, Generalized Hukuhara Gâteaux and Fréchet derivatives of interval-valued functions and their application in optimization with interval-valued functions, An approach to exponentiation with interval-valued power, Interval arithmetic in modeling and solving Laplace's equation problems with uncertainly defined boundary shape, Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games, A rigorous implicit $C^1$ Chebyshev integrator for delay equations, Some fractional Hermite-Hadamard-type inequalities for interval-valued coordinated functions, Fractional Hermite-Hadamard-type inequalities for interval-valued co-ordinated convex functions, Application of stochastic programming technique to solve interval quadratic programming problem, A systematic review on the advancement in the study of fuzzy variational problems, New fuzzy-interval inequalities in fuzzy-interval fractional calculus by means of fuzzy order relation, Distribution-free risk analysis, Some Transportation Problems Under Uncertain Environments, Extremal Results for Algebraic Linear Interval Systems, Ekeland's variational principle for interval-valued functions, An Hermite-Obreschkoff method for stiff high-index DAE, Improved convex and concave relaxations of composite bilinear forms, Moran process in evolutionary game dynamics with interval payoffs and its application, Isolating some non-trivial zeros of zeta, VALIDATED STUDY OF THE EXISTENCE OF SHORT CYCLES FOR CHAOTIC SYSTEMS USING SYMBOLIC DYNAMICS AND INTERVAL TOOLS, Non-causal models in long term planning via set contractive optimal control methods, FOUNDATIONS OF FUZZY SET THEORY AND FUZZY LOGIC: A HISTORICAL OVERVIEW, On interval-valued nonlinear programming problems, An evolution strategy method for computing eigenvalue bounds of interval matrices, THE UNCERTAIN GENERALIZED OWA OPERATOR AND ITS APPLICATION TO FINANCIAL DECISION MAKING, Evaluating the boundary and covering degree of planar Minkowski sums and other geometrical convolutions, A set-membership state estimation algorithm based on DC programming, A reliable algorithm for computing the topological degree of a mapping in $\mathbb R^{2}$, Polynomial cost for solving IVP for high-index DAE, Computing the pessimism of inclusion functions, Interval schemes for singularly perturbed initial value problems, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS, Fast algorithm for computing the upper endpoint of sample variance for interval data: Case of sufficiently accurate measurements, Complex interval arithmetic using polar form, Robust control for two-time-scale discrete interval systems, A general reliable quadratic form: An extension of affine arithmetic, A guaranteed error estimate for the Störmer method on large intervals, New formulae for multiplication of intervals, Parameter reconstruction for biochemical networks using interval analysis, Random metric space of fuzzy numbers, On the application of a hybrid ellipsoidal-rectangular interval arithmetic algorithm to interval Kalman filtering for state estimation of uncertain systems, Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities, Limit cycle analysis of single-loop feedback systems with multiple nonlinearities and parameter uncertainties, A criterion for an approximation global optimal solution based on the filled functions, Parameter range reduction in ordinary differential equation models, The Forthcoming IEEE Standard 1788 for Interval Arithmetic, Computing Capture Tubes, A numerical approach to compute the topology of the apparent contour of a smooth mapping from $\mathbb{R}^2$ to $\mathbb{R}^2$, Monitoring bounded LTL properties using interval analysis, Die vollautomatische Berechnung einer einfachen Nullstelle von $F(t) = 0$ einschließlich einer Fehlerabschätzung, Definition von Schrankenzahlen in Triplex-ALGOL, raSAT: An SMT Solver for Polynomial Constraints, Quadraturverfahren mit Fehlerschranken, Existence of Periodic Solutions of the FitzHugh--Nagumo Equations for an Explicit Range of the Small Parameter, SIROCCO: A Library for Certified Polynomial Root Continuation, Fehlerabschätzung reeller Eigenwerte und Eigenvektoren von Matrizen, Automatic errorbounds for the approximate solution of equations, Algebraische und metrische Strukturen in der Intervallrechnung und einige Anwendungen, Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken, Verbesserung von Schranken für Eigenwerte und Eigenvektoren von Matrizen, Über einige intervallarithmetische Grundbegriffe, ALGOL-60 Algorithmen zur Auflösung linearer Gleichungssysteme mit Fehlererfassung, Die Berechnung von Schranken für den Wertebereich eines Polynoms in einem Intervall, Fehlerschranken zu Näherungswerten von Polynomwurzeln, Gleichungen in halbgeordneten Räumen, Fehlererfassung bei Eigenwertproblemen von Matrizen. (Error registration in eigenvalue problems of matrices), Newton's method under mild differentiability conditions with error analysis, Die binären Systeme der Intervallarithmetik. (The binary systems of interval arithmetic), Simulation reeller Arithmetik und reeller Funktionen in endlichen Mengen. (Simulation of real arithmetic and real functions in finite sets), Circular arithmetic and the determination of polynomial zeros, Nullstellenbestimmung mit der Intervallrechnung. (Determination of zeros with intervall arithmetic), Ein Verfahren zur Einschließung der Lösung des Anfangswertproblems. (A method for inclusion of the solution of the initial value problem.), Nullstelleneinschließung mit dem Newton-Verfahren ohne Invertierung von Intervallmatrizen, Explicit calculation of the Lagrangian interval interpolating polynomial, Numerical approximation of periodic solutions of van der Pol's equation, Interval arithmetic for guaranteed bounds in linear programming, Gleichheit von Produkt und Formalprodukt bei Intervallpolynomen, Interval bounds for square roots and cube roots, Zur Intervallrechnung in linearen Räumen, Hypernormbälle als abstrakte Schrankenzahlen, A circular splitting search algorithm for systems of complex equations, Two-objective method for crisp and fuzzy interval comparison in optimization, Optimal centers in branch-and-prune algorithms for univariate global optimization, On underestimating in interval computations, Empirical investigation of the convergence speed of inclusion functions in a global otimization context, Motivations for an arbitrary precision interval arithmetic and the MPFI library, Line segment intersection testing, On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach, Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients, Boundary evaluation algorithms for Minkowski combinations of complex sets using topological analysis of implicit curves, Implementing Local Intervals in CASL, TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS, Actuator fault diagnosis for flat systems: A constraint satisfaction approach, Enclosing the square root of a positive definite symmetric matrix, Inclusion functions and global optimization, NUMERICAL AND GEOMETRIC PROPERTIES OF INTERVAL B-SPLINES, Representation of analysis results involving aleatory and epistemic uncertainty, Conflict Interpretation in a Belief Interval Based Framework, Diffeomorphisms and the feasibility of the numerical continuation methods, A priori error bounds for general two-point boundary-value problems with arbitrarily many solutions, The stability of the grey linear system, An Efficient Method for Uncertainty Propagation using Fuzzy Sets, Parallelotopic and practical observers for non-linear uncertain systems, Parameter Range Reduction in ODE Models in the Presence of Partial Data Sets, Stability analysis of interval matrices: another sufficient condition, Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits, Computing narrow inclusions for the solution of integral equations, Linear System of Equations with Doubly Stochastic Interval Coefficient Matrix, FUZZY OPTIMIZATION OF REAL FUNCTIONS, Estimates of the solution set of nonlinear equations with uncertain parameters, Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model, Stabilité numérique de l'algorithme de Levinson, Automatic Test Case Generation Using Interval Arithmetic, Nonlinear State Estimation Using Forward-Backward Propagation of Intervals in an Algorithm, A Branch-and-Prune Method for Global Optimization, Simple criteria for stability of interval matrices, Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori, COUNTING LOW-PERIOD CYCLES FOR FLOWS, On the structure of existence regions for sinks of the Hénon map, Is the Hénon attractor chaotic?, From Entropy of Fuzzy Sets to Fuzzy Set of Entropies: A Critical Review and New Results, Approximate solutions of interval-valued optimization problems, An application of interval-valued neural networks to a regression problem, Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof, Simultaneous computation of functions, partial derivatives and estimates of rounding errors —Complexity and practicality—, Another sufficient condition for the stability of interval matrices, Sufficient and necessary condition for the asymptotic stability of discrete linear interval systems, INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS, Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata, Viability Kernels and Capture Basins for Analyzing the Dynamic Behavior: Lorenz Attractors, Julia Sets, and Hutchinson’s Maps, Unnamed Item, Interval extension of the three-step Kung and Traub's method, Über vektorielle Normen und den Zusammenhang mit Pseudometriken, Robust stability in linear state space models, On the Fuzzy Internal Rate of Return, Contraction mappings in interval analysis, Interval arithmetic multistep methods for nonlinear systems of equations, Dynamic interval systems analysis and design, Stability analysis of interval matrices: improved bounds, Granular Structures Induced by Interval Sets and Rough Sets, A truncated cyclic reduction algorithm for interval arithmetic tridiagonal systems of equations, SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework, A modification of krawczyk's algorithm, COMPARATIVE STUDY OF VARIATIONAL CHAOS INDICATORS AND ODEs' NUMERICAL INTEGRATORS, Guaranteed error bounds for the initial value problem using polytope arithmetic, SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems, Guaranteed Characterization of Capture Basins of Nonlinear State-Space Systems, A new hybrid genetic algorithm for global optimization, Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach, Implementing Real Numbers With RZ, PROCESSING OF FUZZY NUMBERS BY FUZZY RELATION EQUATIONS, Sufficient conditions for stability of interval matrices, A COMPUTATIONAL SIMPLE MODEL TO REPRESENT AND MANIPULATE LINGUISTIC IMPRECISION, Identification of objects with unknown bounded disturbances, UNCERTAINTY MODELING USING FUZZY ARITHMETIC BASED ON SPARSE GRIDS: APPLICATIONS TO DYNAMIC SYSTEMS, Détermination du pas optimal dans le calcul des dérivées sur ordinateur, AN IMPROVED LOWER BOUND ON THE NUMBER OF LIMIT CYCLES BIFURCATING FROM A HAMILTONIAN PLANAR VECTOR FIELD OF DEGREE 7, On nonlinearity and eliminating linear components from nonlinear systems, Tracking Uncertainty in a Spatially Explicit Susceptible-Infected Epidemic Model, OBSERVER-BASED HYBRID CONTROL OF SAMPLED-DATA UNCERTAIN SYSTEM WITH INPUT TIME DELAY, OPTIMAL INVESTMENT STRATEGY VIA INTERVAL ARITHMETIC, Computing the Minkowski Value of the Exponential Function over a Complex Disk, Control of constrained nonlinear uncertain discrete-time systemsviarobust controllable sets: a modal interval analysis approach, Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation, ON ADDITIVE CONSISTENT PROPERTIES OF THE INTUITIONISTIC FUZZY PREFERENCE RELATION, Reducing Interval-Valued Decision Trees to Conventional Ones: Comments on Decision Trees with Single and Multiple Interval-Valued Objectives, Root isolation using function values, Interval arithmetic error estimation for the solution of Fredholm integral equation, On contracting interval iteration for nonlinear problems in Rn, Integration across discontinuities in ordinary differential equations using power series, An Adapted Branch and Bound Algorithm for Approximating Real Root of a Ploynomial, Some experiments with interval methods for two-point boundary-value problems in ordinary differential equations, SPLINE APPROXIMATION FOR ZADEH'S EXTENSIONS, Smoothing methods for histogram‐valued time series: an application to value‐at‐risk, Principal component analysis for interval‐valued observations, Full-Scale Bounds Estimation for the Nonlinear Transient Heat Transfer Problems with Interval Uncertainties, Non-Probabilistic Reliability Bounds for Series Structural Systems, Iterative methods for interval inclusion of fixed points, A new approach to design set-membership state estimators for discrete-time linear systems based on the observability matrix, Prognosis of uncertain linear time-invariant discrete systems using unknown input interval observer, Convex quadratic underestimation and Branch and Bound for univariate global optimization with one nonconvex constraint, On the Kolmogorov Complexity of Continuous Real Functions, The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems, Self-validated Computations for the Probabilities of the Central Bivariate Chi-square Distribution and a BivariateFDistribution. This work partially supported by National Science Foundation grant DMS-9500831, Yet another machine experiment in support of Riemann's conjecture, An interval version of Chebyshev's method for nonlinear operator equations, DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY, Uniform ultimate boundedness of the solutions of uncertain dynamic delay systems with state-dependent and memoryless feedback control, On some classical existence theorems, Computer-generated interval extensions of factorable functions and their derivatives, GENERATING PARETO OPTIMAL SOLUTIONS OF MULTI-OBJECTIVE LFPP WITH INTERVAL COEFFICIENTS USING E-CONSTRAINT METHOD, Rigorous computer-assisted bounds on the period doubling renormalization fixed point and eigenfunctions in maps with critical point of degree 4, Interval solutions of linear interval equations, Microscopic patterns in the 2D phase-field-crystal model, Nash Equilibrium Points for Generalized Matrix Game Model with Interval Payoffs, EAGO.jl: easy advanced global optimization in Julia, Constructing control rules for a dynamic system: probabilistic qualitative models, lookahead and exaggeration, Robust Fault Detection with a Distributed and Decentralized State-Set Observer, The multivariate bisection algorithm, Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations, Robustness and Randomness, AN IMPROVED LOWER BOUND ON THE NUMBER OF LIMIT CYCLES BIFURCATING FROM A QUINTIC HAMILTONIAN PLANAR VECTOR FIELD UNDER QUINTIC PERTURBATION, Interval extensions of the Halley method and its modified method for finding enclosures of roots of nonlinear equations, Lattice for nested rough approximation, The KKT optimality conditions for optimization problem with interval-valued objective function on Hadamard manifolds, Constructive Approximation of Continuous Interval-Valued Functions, Set Inclusions of the Hermite-Hadamard Type for $m$ Polynomial Harmonically Convex Interval Valued Functions, On Hermite-Hadamard type inequalities for interval-valued multiplicative integrals, Strict estimation of the maximum of a function of one variable, Fritz John Optimality Conditions for Interval-Valued Multi-Objective Functions Using gH-Symmetrical Derivative, Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems, Lower bounds on the Hausdorff dimension of some Julia sets, A computer-assisted proof of dynamo growth in the stretch-fold-shear map, Some Cardinal Estimations via the Inclusion-Exclusion Principle in Finite $$T_0$$ Topological Spaces, On relations between nonsmooth interval-valued multiobjective programming problems and generalized Stampacchia vector variational inequalities, Generalized fractional Hermite-Hadamard type inclusions for co-ordinated convex interval-valued functions, Hermite-Hadamard-Mercer type inclusions for interval-valued functions via Riemann-Liouville fractional integrals, Quasi-Newton algorithms for solving interval-valued multiobjective optimization problems by using their certain equivalence, Calculus for linearly correlated fuzzy number-valued functions, Boundary value problems for interval-valued differential equations on unbounded domains, Some generalizations of Opial type inequalities for interval-valued functions, On Ekeland's variational principle for interval-valued functions with applications, On Hermite-Hadamard type inequalities for harmonical h-convex interval-valued functions, On an interval-arithmetic matrix method, On Fuzzy Solutions to a Class of Fuzzy Multi-objective Linear Optimization Problems, On some topological properties of numerical algorithms, Quadratic convergence in interval arithmetic, part II, A heuristic to reduce the wrapping effect in the numerical solution ofx′=f(t,x), Unnamed Item, Unnamed Item, Methodology for Interval-Valued Matrix Games with 2-Tuple Fuzzy Linguistic Information, Set-Membership Computation of Integrals with Uncertain Endpoints, Quadratic convergence in interval arithmetic, part I, Unnamed Item, Thick Sets, Multiple-Valued Mappings, and Possibility Theory, Modelling interval data with Normal and Skew-Normal distributions, A new interval diagnosis method: Application to the spacecraft rendezvous phase of the Mars sample return mission, On the solution of nonlinear equations in interval arithmetic, Rigorous numerics for critical orbits in the quadratic family, Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis, Deterministic global optimization using interval constraint propagation techniques, A Tabu Search Method for Interval Constraints, Modeling of Dynamic Systems with Interval Parameters in the Presence of Singularities, A certificate-based approach to formally verified approximations, Torus knot choreographies in the n-body problem, Problems of optimization and numerical stability in computations, Mathematically Rigorous Global Optimization and Fuzzy Optimization, Unnamed Item, ON ARITHMETIC OPERATIONS OF INTERVAL NUMBERS, Evolutionary optimization of interval mathematics-based design of a TSK fuzzy controller for anti-sway crane control, Interval constraint propagation with application to bounded-error estimation, Interval arithmetic yields efficient dynamic filters for computational geometry, Quasiconvex relaxations based on interval arithmetic, Diagrammatic representation for interval arithmetic, Acceleration of iteration methods for interval fixed point problems, Arithmetic of complex sets, A fuzzy max-flow min-cut theorem., Arithmetic of complex sets, On universal optimal quadrature formulae, Practical aspects of interval computation, Numerical computations concerning the GRH, Unnamed Item, Study on differentiability problems of interval-valued functions, Computing $\pi (x)$ analytically, Evaluating new options in the context of existing plans, Computation of rational interval functions, Computable error bounds for nonlinear programming, Possibilistic Kalman filtering for radar 2D tracking, Digital modelling and robust digital redesign of sampled-data uncertain systems via the interval tuning bilinear approximation method, Lipschitz continuity and the termination of interval methods for global optimization, Fast and correctly rounded logarithms in double-precision, A comparison of identification criteria for inductive inference of recursive real-valued functions, Inclusion isotonicity for circular centered forms in several complex variables, Unnamed Item, Node selection strategies in interval branch and bound algorithms, Discriminant analysis of interval data: an assessment of parametric and distance-based approaches, Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions, Unnamed Item, Unnamed Item, Fractional Hermite-Hadamard-type inequalities for interval-valued functions, On multi-level multi-objective linear fractional programming problem with interval parameters, Fuzzy Pareto Solutions in Fully Fuzzy Multiobjective Linear Programming, Discrete-time interval optimal control problem, INTERIOR POINT METHOD FOR SOLVING LINEAR PROGRAMMING WITH INTERVAL COEFFICIENTS USING AFFINE SCALING, How do you compute the midpoint of an interval?, A Four-Leaf Chaotic Attractor of a Three-Dimensional Dynamical System, Unnamed Item, Unnamed Item, The cutting of compositions, Stationary Coexistence of Hexagons and Rolls via Rigorous Computations, Rich Bifurcation Structure in a Two-Patch Vaccination Model, Stochastic dynamics simulation with generalized interval probability, Relations between multidimensional interval-valued variational problems and variational inequalities, Interval optimization problems for financial investment and its real-world applications, Some inequalities for $\mathit{cr}$-$\log$-$h$-convex functions, New differentiability concepts for set-valued functions and applications to set differential equations, Recursive solution of initial value problems with temporal discretization, Effective correlation analysis algorithms for uncertain structures based on multidimensional parallelepiped model, Optimality Conditions for E-Convex Interval-Valued Programming Problem Using gH-Symmetrical Derivative, The interval eigenvalue problem using constraint interval analysis with an application to linear differential equations, Further results on the design of a class of discrete‐time set‐valued state estimators, Shape optimization for the Laplacian eigenvalue over triangles and its application to interpolation error analysis, Fréchet subdifferential calculus for interval-valued functions and its applications in nonsmooth interval optimization, Mixed-Integer programming models for irregular strip packing based on vertical slices and feasibility cuts, Computer‐assisted analysis of chaos in a three‐species food chain model, Novel solution framework for inverse problem considering interval uncertainty, Quadratized Taylor series methods for ODE numerical integration, A subinterval bivariate dimension-reduction method for nonlinear problems with uncertainty parameters, The Cartesian ovals, Computing the intersection between a rational parametric curve and a rational parametric surface, Bayesian parameter estimation with guarantees via interval analysis and simulation, Sliding window algorithm for parametric identification of dynamical systems with rectangular and ellipsoid parameter uncertainty domains, Necessary and sufficient conditions for interval‐valued differentiability, Inequalities for interval-valued Riemann diamond-alpha integrals, Dynamics of beams with uncertain crack depth: stochastic versus interval analysis, Fatigue analysis of structures with interval axial stiffness subjected to stationary stochastic excitations, Fault detection for Takagi–Sugeno fuzzy systems using multiple observers and ellipsoidal analysis, An ellipsoid‐based framework for fault estimation and remaining useful life prognosis, Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem, A Synthesis of Information Imperfection Representations for Decision Aid, Extended McCormick relaxation rules for handling empty arguments representing infeasibility, Various approaches to multiobjective linear programming problems with interval costs and interval weights, Robot workspace approximation with modified bicentered Krawczyk method, Generalized Hermite-Hadamard inclusions for a generalized fractional integral, On approximate quasi Pareto solutions in nonsmooth semi-infinite interval-valued vector optimization problems, Semi-infinite interval equilibrium problems: optimality conditions and existence results, Uncertainty Propagation Analysis of Fuzzy Uncertain Structures Involving Imprecise Membership Functions, An interval framework for uncertain frequency response of multi-cracked beams with application to vibration reduction via tuned mass dampers, The strategy of modeling and solving the problems described by Laplace's equation with uncertainly defined boundary shape and boundary conditions, Interval‐valued variational programming problem with Caputo–Fabrizio fractional derivative, Some novel inequalities for LR‐h‐convex interval‐valued functions by means of pseudo‐order relation, On generating fuzzy Pareto solutions in fully fuzzy multiobjective linear programmingviaa compromise method, An $\varepsilon$-accelerated bivariate dimension-reduction interval finite element method, Generalized elementary functions, Using the Interval Metric for Modeling Entities Geometrics in ℝ2 - Case Study Interval Circumference