Interval analysis: Theory and applications
softwaresurvey paperordinary differential equationspartial differential equationsinterval arithmeticsystems of nonlinear equationssystems of linear equationsalgebraic eigenvalue problemverification methods
Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Numerical computation of eigenvalues and eigenvectors of matrices (65F15) Packaged methods for numerical algorithms (65Y15) Numerical computation of solutions to systems of equations (65H10) General methods in interval analysis (65G40) Finite difference methods for boundary value problems involving PDEs (65N06) Numerical methods for initial value problems involving ordinary differential equations (65L05) Shear flows and turbulence (76F10) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)
- scientific article; zbMATH DE number 3281219
- Introduction to Interval Analysis
- scientific article; zbMATH DE number 3854310
- Interval arithmetic and interval analysis: An introduction
- scientific article; zbMATH DE number 869736
- scientific article; zbMATH DE number 3876480
- Interval analysis a powerful trend in numerical analysis
- Diagrammatic interval analysis with applications
- Interval analysis and fuzzy set theory
- scientific article; zbMATH DE number 3874497 (Why is no real title available?)
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 3936378 (Why is no real title available?)
- scientific article; zbMATH DE number 3963074 (Why is no real title available?)
- scientific article; zbMATH DE number 4062487 (Why is no real title available?)
- scientific article; zbMATH DE number 4076484 (Why is no real title available?)
- scientific article; zbMATH DE number 4084894 (Why is no real title available?)
- scientific article; zbMATH DE number 4089320 (Why is no real title available?)
- scientific article; zbMATH DE number 4106126 (Why is no real title available?)
- scientific article; zbMATH DE number 1194122 (Why is no real title available?)
- scientific article; zbMATH DE number 3738830 (Why is no real title available?)
- scientific article; zbMATH DE number 3744424 (Why is no real title available?)
- scientific article; zbMATH DE number 50026 (Why is no real title available?)
- scientific article; zbMATH DE number 54095 (Why is no real title available?)
- scientific article; zbMATH DE number 193463 (Why is no real title available?)
- scientific article; zbMATH DE number 3521417 (Why is no real title available?)
- scientific article; zbMATH DE number 3562361 (Why is no real title available?)
- scientific article; zbMATH DE number 1239855 (Why is no real title available?)
- scientific article; zbMATH DE number 488523 (Why is no real title available?)
- scientific article; zbMATH DE number 502470 (Why is no real title available?)
- scientific article; zbMATH DE number 524111 (Why is no real title available?)
- scientific article; zbMATH DE number 714513 (Why is no real title available?)
- scientific article; zbMATH DE number 714516 (Why is no real title available?)
- scientific article; zbMATH DE number 714518 (Why is no real title available?)
- scientific article; zbMATH DE number 714519 (Why is no real title available?)
- scientific article; zbMATH DE number 714520 (Why is no real title available?)
- scientific article; zbMATH DE number 714521 (Why is no real title available?)
- scientific article; zbMATH DE number 714522 (Why is no real title available?)
- scientific article; zbMATH DE number 953029 (Why is no real title available?)
- scientific article; zbMATH DE number 804634 (Why is no real title available?)
- scientific article; zbMATH DE number 852322 (Why is no real title available?)
- scientific article; zbMATH DE number 869737 (Why is no real title available?)
- scientific article; zbMATH DE number 1440924 (Why is no real title available?)
- scientific article; zbMATH DE number 226866 (Why is no real title available?)
- scientific article; zbMATH DE number 3257410 (Why is no real title available?)
- scientific article; zbMATH DE number 3279592 (Why is no real title available?)
- scientific article; zbMATH DE number 3281218 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- scientific article; zbMATH DE number 3288142 (Why is no real title available?)
- scientific article; zbMATH DE number 3381785 (Why is no real title available?)
- scientific article; zbMATH DE number 3068051 (Why is no real title available?)
- A lower bound for range enclosure in interval arithmetic
- A verification method for solutions of nonsmooth equations
- An enclosure method for the solution of linear odes with polynomial coefficients
- Automatic differentiation: techniques and applications
- Berechenbare Fehlerschranken für ein Eigenpaar unter Einschluß von Rundungsfehlern bei Verwendung des genauen Skalarprodukts
- Bounding the slope of polynomial operators and some applications
- Centered Forms
- Compatibility of approximate solution of linear equations with given error bounds for coefficients and right-hand sides
- Computing the range of values of real functions with accuracy higher than second order
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Efficient Numerical Validation of Solutions of Nonlinear Systems
- Epsilon-inflation in verification algorithms
- Epsilon-inflation with contractive interval functions
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- Numerical validation for an inverse matrix eigenvalue problem
- On higher order centered forms
- On the Shape of the Symmetric, Persymmetric, and Skew-Symmetric Solution Set
- On the Symmetric and Unsymmetric Solution Set of Interval Systems
- On the applicability of the interval Gaussian algorithm
- On the solution of interval linear systems
- On the solution sets of particular classes of linear interval systems
- Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations
- Scientific computing with automatic result verification
- The Cholesky method for interval data
- The Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients
- Verification Algorithms for Generalized Singular Values
- Über Struktur und Abschätzungen der Lösungsmenge von linearen Gleichungssystemen mit Intervallkoeffizienten
- Über das Divergenzverhalten des Intervall-Newton-Verfahrens. (On the divergence behaviour of the interval-Newton-method)
- Classification of Hyperbolic Singularities in Interval 3-Dimensional Linear Differential Systems
- Truncated interval arithmetic block cyclic reduction
- Using interval information granules to improve forecasting in fuzzy time series
- Feasible method for semi-infinite programs
- Interval method for global solutions of a class of min-max-min problems
- Interval mathematics, algebraic equations and optimization
- Solving the linear interval tolerance problem for weight initialization of neural networks
- Interval arithmetic and interval analysis: An introduction
- Verified numerical computation for nonlinear equations
- Convergence analysis of Taylor models and McCormick-Taylor models
- Semidefinite programming for dynamic steady-state analysis of structures under uncertain harmonic loads
- Interval algorithm for absolute value equations
- Characterizing and approximating eigenvalue sets of symmetric interval matrices
- Sufficient optimality criteria for optimization problem involving pseudoconvex interval objective function
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
- Duality and saddle-point type optimality for interval-valued programming
- On the convex central configurations of the symmetric \(( \ell + 2)\)-body problem
- Global attractivity of the zero solution for Wright's equation
- Verified analysis of a biomechanics-related system
- Convergence-order analysis for differential-inequalities-based bounds and relaxations of the solutions of ODEs
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Confidence ellipsoids for static response of trusses with load and structural uncertainties
- Interval variational inequalities and their relationship with interval optimization problems
- Adaptive parameter tuning for reachability analysis of nonlinear systems
- An interval uncertainty propagation method using polynomial chaos expansion and its application in complicated multibody dynamic systems
- Semidefinite programming for uncertain linear equations in static analysis of structures
- Interval methods with fifth order of convergence for solving nonlinear scalar equations
- Differentiable McCormick relaxations
- Convergence analysis of multivariate McCormick relaxations
- Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization
- On the algebraic solution of fuzzy linear systems based on interval theory
- A perturbed collage theorem and its application to inverse interval integral problems
- An improved method for fuzzy-interval uncertainty analysis and its application in brake instability study
- scientific article; zbMATH DE number 4139201 (Why is no real title available?)
- A unified method for the response analysis of interval/random variable models of acoustic fields with uncertain-but-bounded parameters
- scientific article; zbMATH DE number 17521 (Why is no real title available?)
- A bivariate subinterval method for dynamic analysis of mechanical systems with interval uncertain parameters
- A parameter method for linear algebra and optimization with uncertainties
- Sparse convolution-based digital derivatives, fast estimation for noisy signals and approximation results
- Interval matrices with Monge property.
- A 3D Smale horseshoe in a hyperchaotic discrete-time system
- OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER
- Multiperiod mean semi-absolute deviation interval portfolio selection with entropy constraints
- Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty
- Computing the Moore-Penrose inverse using its error bounds
- Grey dynamic input-output analysis
- Interval arithmetic for nonlinear problem solving
- scientific article; zbMATH DE number 3854310 (Why is no real title available?)
- Verified solution of large systems and global optimization problems
- Interval-Krawczyk approach for solving nonlinear equations systems in B-spline form
- A Finite Algorithm for Almost Linear Complementarity Problems
- scientific article; zbMATH DE number 1946642 (Why is no real title available?)
- Interval iterative methods for computing Moore-Penrose inverse
- A new approach to obtain algebraic solution of interval linear systems
- Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions
- scientific article; zbMATH DE number 1767706 (Why is no real title available?)
- Extrapolated triangular splitting method to interval system of linear algebraic equations
- Generalized Hukuhara Gâteaux and Fréchet derivatives of interval-valued functions and their application in optimization with interval-valued functions
- Robust stabilization of bilinear systems under interval initial conditions
- A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty
- On the interval differential equation: novel solution methodology
- Application of interval analysis techniques to linear systems. I. Fundamental results
- Global solution of bilevel programs with a nonconvex inner program
- Generalized Hukuhara differentiability of interval-valued functions and interval differential equations
- Further results on the design of a class of discrete‐time set‐valued state estimators
- Introduction to Fuzzy Sets
- scientific article; zbMATH DE number 1882433 (Why is no real title available?)
- The united stable solution set of interval continuous-time algebraic Riccati equation and veri ed numerical computation of its outer estimation
- Efficient methods for the inclusion of polynomial zeros
- A computer-assisted proof of dynamo growth in the stretch-fold-shear map
- On the semi-convergence of interval matrices
- Set-Membership Computation of Integrals with Uncertain Endpoints
- Error Estimation for Nonlinear Complementarity Problems via Linear Systems with Interval Data
- Estimation of algebraic solution by limiting the solution set of an interval linear system
- A new idea for exact solving of the complex interval linear systems
- Analytical pricing of geometric Asian power options on an underlying driven by a mixed fractional Brownian motion
- Optimal circle covering problems and their applications
- Solving interval constraints by linearization in computer-aided design
- Fractional calculus for interval-valued functions
- A Mazur–Orlicz Type Theorem in Interval Analysis and Its Consequences
- Model order reduction of interval systems using an arithmetic operation
- Interval and random analysis for structure-acoustic systems with large uncertain-but-bounded parameters
- New structure to design interval observers for linear continuous-time systems
- Interval linear systems: the state of the art
- On the solutions for box differential equations under generalized Hukuhara derivative
- Global solution of nonlinear mixed-integer bilevel programs
- New inner product quasilinear spaces on interval numbers
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information
- The KKT optimality conditions for optimization problem with interval-valued objective function on Hadamard manifolds
- Foreword
- Interval analysis a powerful trend in numerical analysis
- Robust set-membership state estimator against outliers in data
- An algebraic model for the propagation of errors in matrix calculus
- Wirtinger-type integral inequalities for interval-valued functions
- Gaussian elimination for flexible systems of linear inclusions
- On the uniqueness of convex central configurations in the planar 4-body problem
- Special issue on ``Uncertainty modeling and analysis with intervals: foundations, tools, applications
- Strong solvability of interval max-plus systems and applications to optimal control
- Numerical validation for systems of absolute value equations
- The initial value problem for interval-valued second-order differential equations under generalized H-differentiability
This page was built for publication: Interval analysis: Theory and applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1587412)