Interval analysis: Theory and applications
algebraic eigenvalue probleminterval arithmeticordinary differential equationspartial differential equationssoftwaresurvey papersystems of linear equationssystems of nonlinear equationsverification methods
Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Numerical computation of eigenvalues and eigenvectors of matrices (65F15) Algorithms with automatic result verification (65G20) Interval and finite arithmetic (65G30) General methods in interval analysis (65G40) Numerical computation of solutions to systems of equations (65H10) Numerical methods for initial value problems involving ordinary differential equations (65L05) Finite difference methods for boundary value problems involving PDEs (65N06) Packaged methods for numerical algorithms (65Y15) Shear flows and turbulence (76F10)
- 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
- 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
- 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?)
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- Numerical validation for an inverse matrix eigenvalue problem
- On higher order centered forms
- On the applicability of the interval Gaussian algorithm
- On the Shape of the Symmetric, Persymmetric, and Skew-Symmetric Solution Set
- On the solution of interval linear systems
- On the solution sets of particular classes of linear interval systems
- On the Symmetric and Unsymmetric Solution Set of 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 das Divergenzverhalten des Intervall-Newton-Verfahrens. (On the divergence behaviour of the interval-Newton-method)
- Über Struktur und Abschätzungen der Lösungsmenge von linearen Gleichungssystemen mit Intervallkoeffizienten
- Global solution of bilevel programs with a nonconvex inner program
- Generalized Hukuhara differentiability of interval-valued functions and interval differential equations
- Characterization of perturbed mathematical programs and interval analysis
- Interval mathematics, algebraic equations and optimization
- On the interval differential equation: novel solution methodology
- Numerical validation for systems of absolute value equations
- Stabilization of the motion of affine systems
- The initial value problem for interval-valued second-order differential equations under generalized H-differentiability
- Global solution of semi-infinite programs
- Robust stabilization of bilinear systems under interval initial conditions
- An estimation of algebraic solution for a complex interval linear system
- Truncated interval arithmetic block cyclic reduction
- Verified solution of large systems and global optimization problems
- On the algebraic solution of fuzzy linear systems based on interval theory
- A new approach to obtain algebraic solution of interval linear systems
- A verification method for enclosing solutions of absolute value equations
- Global solution of nonlinear mixed-integer bilevel programs
- An improved method for fuzzy-interval uncertainty analysis and its application in brake instability study
- Wirtinger-type integral inequalities for interval-valued functions
- Sufficient optimality criteria for optimization problem involving pseudoconvex interval objective function
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Event-triggered interval-based state estimator for continuous-time linear systems
- Analytical pricing of geometric Asian power options on an underlying driven by a mixed fractional Brownian motion
- An algebraic model for the propagation of errors in matrix calculus
- On the convex central configurations of the symmetric \(( \ell + 2)\)-body problem
- A perturbed collage theorem and its application to inverse interval integral problems
- Interval matrices with Monge property.
- Analysis of the set of trajectories of nonlinear dynamics: stability under interval initial conditions
- Computing the Moore-Penrose inverse using its error bounds
- Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty
- Interval methods with fifth order of convergence for solving nonlinear scalar equations
- Solving the linear interval tolerance problem for weight initialization of neural networks
- Using interval information granules to improve forecasting in fuzzy time series
- Model checking single agent behaviours by fluid approximation
- Estimation of algebraic solution by limiting the solution set of an interval linear system
- Multiperiod mean semi-absolute deviation interval portfolio selection with entropy constraints
- Interval and random analysis for structure-acoustic systems with large uncertain-but-bounded parameters
- Duality and saddle-point type optimality for interval-valued programming
- Confidence ellipsoids for static response of trusses with load and structural uncertainties
- A 3D Smale horseshoe in a hyperchaotic discrete-time system
- Interval method for global solutions of a class of min-max-min problems
- An interval portfolio selection problem based on regret function
- Semidefinite programming for uncertain linear equations in static analysis of structures
- Sparse convolution-based digital derivatives, fast estimation for noisy signals and approximation results
- Generalized Hukuhara Gâteaux and Fréchet derivatives of interval-valued functions and their application in optimization with interval-valued functions
- Interval arithmetic and interval analysis: An introduction
- Interval arithmetic for nonlinear problem solving
- Global attractivity of the zero solution for Wright's equation
- Verified analysis of a biomechanics-related system
- Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions
- An efficient algorithm for a certain class of robust optimization problems
- Optimal circle covering problems and their applications
- A comparison between the Apostolatos-Kulisch theorem and the Mayer-Warnke theorem in interval analysis
- Strong solvability of interval max-plus systems and applications to optimal control
- scientific article; zbMATH DE number 3854310 (Why is no real title available?)
- Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters
- Stabilization of the motion of a nonlinear system with interval initial conditions
- Feasible method for semi-infinite programs
- scientific article; zbMATH DE number 4139201 (Why is no real title available?)
- OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER
- Error Estimation for Nonlinear Complementarity Problems via Linear Systems with Interval Data
- Interval analysis a powerful trend in numerical analysis
- Convergence analysis of Taylor models and McCormick-Taylor models
- scientific article; zbMATH DE number 4011793 (Why is no real title available?)
- Application of interval analysis techniques to linear systems. I. Fundamental results
- scientific article; zbMATH DE number 17521 (Why is no real title available?)
- scientific article; zbMATH DE number 1946642 (Why is no real title available?)
- scientific article; zbMATH DE number 1524372 (Why is no real title available?)
- scientific article; zbMATH DE number 1767706 (Why is no real title available?)
- Some new properties of inner product quasilinear spaces
- The united stable solution set of interval continuous-time algebraic Riccati equation and veri ed numerical computation of its outer estimation
- A Mazur–Orlicz Type Theorem in Interval Analysis and Its Consequences
- Interval Ostrowski-type methods with guaranteed convergence
- Introduction to Fuzzy Sets
- Ordered fuzzy numbers: sources and intuitions
- scientific article; zbMATH DE number 1882433 (Why is no real title available?)
- scientific article; zbMATH DE number 804615 (Why is no real title available?)
- scientific article; zbMATH DE number 852363 (Why is no real title available?)
- Model order reduction of interval systems using an arithmetic operation
- The KKT optimality conditions for optimization problem with interval-valued objective function on Hadamard manifolds
- Set-Membership Computation of Integrals with Uncertain Endpoints
- A new idea for exact solving of the complex interval linear systems
- A parameter method for linear algebra and optimization with uncertainties
- Differentiable McCormick relaxations
- Convergence analysis of multivariate McCormick relaxations
- Fractional calculus for interval-valued functions
- Checking individual agent behaviours in Markov population models by fluid approximation
- Numerical Software with Result Verification
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
- Interval-Krawczyk approach for solving nonlinear equations systems in B-spline form
- A Finite Algorithm for Almost Linear Complementarity Problems
- Efficient methods for the inclusion of polynomial zeros
- Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization
- Foreword
- A computer-assisted proof of dynamo growth in the stretch-fold-shear map
- On the uniqueness of convex central configurations in the planar 4-body problem
- Recursive solution of initial value problems with temporal discretization
- 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
- Interval variational inequalities and their relationship with interval optimization problems
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)