INTLAB

swMATH4004MaRDI QIDQ16194

No author found.

Related Items (only showing first 100 items - show all)

Eigenvalues, pseudospectrum and structured perturbations ⋮ An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid ⋮ Interval arithmetic for nonlinear problem solving ⋮ A proof via finite elements for Schiffer's conjecture on a regular pentagon ⋮ Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions ⋮ A modification of the \(\alpha \mathrm{BB}\) method for box-constrained optimization and an application to inverse kinematics ⋮ Computing enclosures for the matrix Mittag-Leffler function ⋮ Parameterized solution of linear interval parametric systems ⋮ Error bounds for complementarity problems with tridiagonal nonlinear functions ⋮ Multi-step root solvers of Traub's type in real interval arithmetic ⋮ Nonlinear transformations for the simplification of unconstrained nonlinear optimization problems ⋮ Rigorous verification of saddle-node bifurcations in ODEs ⋮ Parametric AE-solution sets to the parametric linear systems with multiple right-hand sides and parametric matrix equation \(A(p)X=B(p)\) ⋮ A posteriori error bounds for two point boundary value problems: a Green's function approach ⋮ Fast enclosure for all eigenvalues in generalized eigenvalue problems ⋮ Fast verified solutions of linear systems ⋮ Inversion of extremely ill-conditioned matrices in floating-point ⋮ Numerical verification methods for spherical \(t\)-designs ⋮ On verified numerical computations in convex programming ⋮ Computer-assisted proofs for semilinear elliptic boundary value problems ⋮ Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? ⋮ On the fast solution of Toeplitz-block linear systems arising in multivariate approximation theory ⋮ Interval Monte Carlo as an alternative to second-order sampling for estimating ecological risk ⋮ Interval arithmetic with containment sets ⋮ Super-fast validated solution of linear systems ⋮ A verified method for bounding clusters of zeros of analytic functions ⋮ On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains ⋮ Proving the existence of zeros using the topological degree and interval arithmetic ⋮ A method for separating nearly multiple eigenvalues for Hermitian matrix ⋮ Interval iterative methods for computing Moore-Penrose inverse ⋮ Linear systems with large uncertainties, with applications to truss structures ⋮ Validation and enclosure of solutions of linear complementarity problems ⋮ High performance verified computing using C-XSC ⋮ Interval probabilities and enclosures ⋮ Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one ⋮ Robust stability test of a class of linear time-invariant interval fractional-order system using Lyapunov inequality ⋮ Weak and strong solvability of interval linear systems of equations and inequalities ⋮ Domain decomposition and model reduction for the numerical solution of PDE constrained optimization problems with localized optimization variables ⋮ Error bounds for initial value problems by optimization ⋮ Variants of the general interval power function ⋮ Verified stochastic methods ⋮ Numerical proof of stability of roll waves in the small-amplitude limit for inclined thin film flow ⋮ Computational existence proofs for spherical \(t\)-designs ⋮ Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator ⋮ On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems ⋮ Solvers for the verified solution of parametric linear systems ⋮ Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations ⋮ A verified realization of a Dempster-Shafer based fault tree analysis ⋮ Hölder regularity of geometric subdivision schemes ⋮ Constrained global optimization of multivariate polynomials using Bernstein branch and prune algorithm ⋮ A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity ⋮ IGAOR and multisplitting IGAOR methods for linear complementarity problems ⋮ Results concerning interval linear systems with multiple right-hand sides and the interval matrix equation \(AX=B\) ⋮ Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse ⋮ Analytic enclosure of the fundamental matrix solution. ⋮ Detecting structures in differential algebraic equations: computational aspects ⋮ Error bounds for nonlinear complementarity problems with band structure ⋮ An adaptive Newton continuation strategy for the fully implicit finite element immersed boundary method ⋮ Fast interval matrix multiplication ⋮ Rigorous filtering using linear relaxations ⋮ A note on the prior parameter choice in finite mixture models of distributions from exponential families ⋮ Verified error bounds for solutions of Sylvester matrix equations ⋮ A sharp error bound of the approximate solutions for saddle point linear systems ⋮ Interval Ostrowski-type methods with guaranteed convergence ⋮ A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations ⋮ Interval algorithm for absolute value equations ⋮ Determination of inner and outer bounds of reachable sets through subpavings ⋮ Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation ⋮ Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds ⋮ Fast enclosure for a matrix inverse square root ⋮ Verifying global start-up for a Möbius ring-oscillator ⋮ Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications ⋮ Computational fixed-point theory for differential delay equations with multiple time lags ⋮ A framework of verified eigenvalue bounds for self-adjoint differential operators ⋮ Diagnosis of singular points of structured DAEs using automatic differentiation ⋮ Fast verified computation for solutions of continuous-time algebraic Riccati equations ⋮ A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration ⋮ Computer-assisted equilibrium validation for the diblock copolymer model ⋮ A blind digital image watermarking method based on the dyadic wavelet transform and interval arithmetic ⋮ Solving fuzzy complex system of linear equations ⋮ On the possibilistic approach to linear regression models involving uncertain, indeterminate or interval data ⋮ Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations ⋮ On the construction of Lyapunov functions with computer assistance ⋮ Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces ⋮ Interval arithmetic over finitely many endpoints ⋮ A robustification approach in unconstrained quadratic optimization ⋮ A numerical verification method for a periodic solution of a delay differential equation ⋮ A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition ⋮ Testing pseudoconvexity via interval computation ⋮ An interval extension of SMS method for computing weighted Moore-Penrose inverse ⋮ Do you trust derivatives or differences? ⋮ Numerical verification for existence of a global-in-time solution to semilinear parabolic equations ⋮ Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain ⋮ Numerical enclosure for multiple eigenvalues of an Hermitian matrix whose graph is a tree ⋮ Verified error bounds for singular solutions of nonlinear systems ⋮ Numerical enclosure for each eigenvalue in generalized eigenvalue problem ⋮ Bounds on the worst optimal value in interval linear programming ⋮ Outer interval solution of the eigenvalue problem under general form parametric dependencies ⋮ A contribution to the feasibility of the interval Gaussian algorithm ⋮ Rigorous numerics for nonlinear operators with tridiagonal dominant linear part

This page was built for software: INTLAB