scientific article; zbMATH DE number 1440908
From MaRDI portal
Publication:4949347
zbMath0949.65046MaRDI QIDQ4949347
Publication date: 8 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interval arithmeticmatricesparallel computersMatlabINTLABgradientsslopesvectorsmultiple precision arithmeticstandard functionsfloating point algorithmsINTerval LABoratoryreal and complex intervals
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 ⋮ 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 ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Parameterized solution of linear interval parametric systems ⋮ Error bounds for complementarity problems with tridiagonal nonlinear functions ⋮ 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 ⋮ Producing an interval extension of the King method ⋮ 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 ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Super-fast validated solution of linear systems ⋮ 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 ⋮ Shrink wrapping for Taylor models revisited ⋮ Interval iterative methods for computing Moore-Penrose inverse ⋮ Arbitrarily tight \(\alpha \mathrm{BB}\) underestimators of general non-linear functions over sub-optimal domains ⋮ Certificates of infeasibility via nonsmooth optimization ⋮ Fast verified computation for the matrix principal \(p\)th root ⋮ High performance verified computing using C-XSC ⋮ Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one ⋮ Weak and strong solvability of interval linear systems of equations and inequalities ⋮ Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions ⋮ 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 ⋮ Enclosing clusters of zeros of polynomials ⋮ Ten methods to bound multiple roots of polynomials ⋮ Computational existence proofs for spherical \(t\)-designs ⋮ Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator ⋮ 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. ⋮ Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains. ⋮ 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 ⋮ Solving obstacle problems with guaranteed accuracy. ⋮ Fast interval matrix multiplication ⋮ Numerical verification of solutions for obstacle problems. ⋮ Rigorous filtering using linear relaxations ⋮ 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 ⋮ 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 ⋮ Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces ⋮ A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems ⋮ 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 ⋮ An algorithm for constrained global optimization of multivariate polynomials using the Bernstein form and John optimality conditions ⋮ Fast enclosure for solutions in underdetermined systems ⋮ 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 ⋮ A framework for existence tests based on the topological degree and homotopy ⋮ Components identification based method for box constrained variational inequality problems with almost linear functions ⋮ Verified error bounds for singular solutions of nonlinear systems ⋮ INTLAB ⋮ Numerical enclosure for each eigenvalue in generalized eigenvalue problem ⋮ Central configurations of the five-body problem with equal masses ⋮ Bounds on the worst optimal value in interval linear programming ⋮ Improvement of convergence of an iterative method for finding polynomial factors of analytic functions ⋮ Rigorous numerics for nonlinear operators with tridiagonal dominant linear part ⋮ Sharpening the estimate of the stability constant in the maximum-norm of the Crank-Nicolson scheme for the one-dimensional heat equation
Uses Software
This page was built for publication:
