Introduction to Interval Analysis
From MaRDI portal
automatic differentiationautomatic verification of resultsboundary value problemsbranch-and-bound algorithmcomputer-assisted proofsconvergenceinitial value problemsintegral equationsinterval analysisinterval arithmeticinterval functionsinterval matricesinterval Newton methodinterval sequencesINTLABKrawczyk methodnumerical examplesroundoff errorsscientific computationSkelboe-Moore algorithm
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to numerical analysis (65-01) Numerical linear algebra (65Fxx) Algorithms with automatic result verification (65G20) Interval and finite arithmetic (65G30) Roundoff error (65G50) Nonlinear algebraic or transcendental equations (65Hxx) Numerical methods for ordinary differential equations (65Lxx) Numerical methods for integral equations (65R20) Symbolic computation and algebraic computation (68W30)
Recommendations
Cited in
(only showing first 100 items - show all)- Rigorous global search: continuous problems
- Interval analysis: Theory and applications
- The complexity of computation and approximation of the t-ratio over one-dimensional interval data
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- On rank range of interval matrices
- Producing an interval extension of the King method
- Maximum compatibility method for data fitting under interval uncertainty
- Algorithms for unconstrained global optimization of nonlinear (polynomial) programming problems: the single and multi-segment polynomial B-spline approach
- Computation of the largest positive Lyapunov exponent using rounding mode and recursive least square algorithm
- New characterizations for the solution set to interval linear systems of equations
- Convergence-order analysis of branch-and-bound algorithms for constrained problems
- Chebyshev model arithmetic for factorable functions
- Solving linear optimization over arithmetic constraint formula
- Is an interval the right result of arithmetic operations on intervals?
- Some properties of the lower bound of optimal values in interval convex quadratic programming
- Subsethood measures for interval-valued fuzzy sets based on the aggregation of interval fuzzy implications
- Stochastic simulation of biochemical reactions with partial-propensity and rejection-based approaches
- The cluster problem in constrained global optimization
- A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms
- A novel approach based on preference-based index for interval bilevel linear programming problem
- Euler-Bernoulli interval finite element with spatially varying uncertain properties
- Compromising solution of geometric programming problem with bounded parameters
- A parametrized sum of fuzzy numbers with applications to fuzzy initial value problems
- On general conditions for nestedness of the solution set of fuzzy-interval linear systems
- Domain reduction techniques for global NLP and MINLP optimization
- Higher order multi-step interval iterative methods for solving nonlinear equations in R^n
- Imprecise probability and chance
- A proof of Jones' conjecture
- Formally verified approximations of definite integrals
- Networked control system design for turbofan aeroengines with aging and deterioration
- Extended ellipsoidal outer-bounding set-membership estimation for nonlinear discrete-time systems with unknown-but-bounded disturbances
- A general unified framework for interval pairwise comparison matrices
- Computer-assisted proofs for radially symmetric solutions of PDEs
- Suspended load path tracking control using a tilt-rotor UAV based on zonotopic state estimation
- Exact enclosures of roots of interval quadratic equations by Sridhara's and Fagnano's or modified Fagnano's formulas
- Rigorous cubical approximation and persistent homology of continuous functions
- A new reliable performance evaluation model: IFB-IER-DEA
- Solving over-constrained systems of non-linear interval equations -- and its robotic application
- Approximating a solution set of nonlinear inequalities
- Efficient algorithms for heavy-tail analysis under interval uncertainty
- On interval \((\mathbb{G}, \mathbb{N})\)-implications and \((\mathbb{O}, \mathbb{G}, \mathbb{N})\)-implications derived from interval overlap and grouping functions
- The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication
- Parametric functional representation of interval number with arithmetic operations
- Centered solutions for uncertain linear equations
- A quasi-Newton method with rank-two update to solve interval optimization problems
- Threshold autoregressive models for interval-valued time series data
- Natural negation of interval-valued \(t\)-(co) norms and implications
- Using modified maximum regret for finding a necessarily efficient solution in an interval MOLP problem
- Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations
- A new portfolio selection model with interval-typed random variables and the empirical analysis
- Solving fully interval linear systems of equations using tolerable solution criteria
- On the algebraic solution of fuzzy linear systems based on interval theory
- The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set
- Stochastic arithmetic in multiprecision
- Dual interval-and-fuzzy analysis method for temperature prediction with hybrid epistemic uncertainties via polynomial chaos expansion
- Unified polynomial expansion for interval and random response analysis of uncertain structure-acoustic system with arbitrary probability distribution
- Identifying volatile numeric expressions in numeric computing applications
- Interval analysis of the HIV dynamics model solution using type-2 fuzzy sets
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic
- A new approach to interval-valued probability measures, a formal method for consolidating the languages of information deficiency: foundations
- D number theory based game-theoretic framework in adversarial decision making under a fuzzy environment
- Interval tensors and their application in solving multi-linear systems of equations
- Properties of fuzzy transform obtained from \(L_p\) minimization and a connection with Zadeh's extension principle
- On the predictability and robustness of Galileo disposal orbits
- Matrix methods for the tensorial Bernstein form
- Quasi-decidability of a fragment of the first-order theory of real numbers
- Solving interval systems of equations obtained during the numerical solution of boundary value problems
- Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations
- Solving interval linear least squares problems by PPS-methods
- Linear interval parametric approach to testing pseudoconvexity
- Bases and dimension of interval vector space
- Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves
- Solving a system of linear differential equations with interval coefficients
- A dynamical interval Newton method
- Chebyshev type inequalities for interval-valued functions
- Wirtinger-type integral inequalities for interval-valued functions
- New properties of the switching points for the generalized Hukuhara differentiability and some results on calculus
- Clustering complex zeros of triangular systems of polynomials
- On the optimal correction of infeasible systems of linear inequalities
- Adaptive interpolation algorithm on sparse meshes for numerical integration of systems of ordinary differential equations with interval uncertainties
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
- Interval static analysis of multi-cracked beams with uncertain size and position of cracks
- Improved interval methods for solving circle packing problems in the unit square
- A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains
- Sums and products of intervals in ordered groups and fields
- Hermite-Hadamard-type inequalities for the interval-valued approximately \(h\)-convex functions via generalized fractional integrals
- On the computability of the set of automorphisms of the unit square
- Hermite-Hadamard-type inequalities for interval-valued preinvex functions via Riemann-Liouville fractional integrals
- Approximation of sign-regular kernels
- Fast verified computation for positive solutions to \(\mathcal{M} \)-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors
- Interval approach to solving parametric identification problems for dynamical systems
- A full convex combination method for linear regression with interval data
- An interval-valued recursive estimation framework for linearly parameterized systems
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications
- Universal optimality of the E₈ and Leech lattices and interpolation formulas
- Actions of the hyperoctahedral group to compute minimal contractors
- Analysis of signals with inexact data by using interval-valued functions
- Distributed coordination of physically-interconnected multi-agent systems with actuated and unactuated agents
- Granular computing: fundamentals and system modeling
- Satisfaction of modeling requirements for intelligent navigation systems: risk management context
This page was built for publication: Introduction to Interval Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3605131)
