scientific article; zbMATH DE number 1440908
From MaRDI portal
Publication:4949347
zbMATH Open0949.65046MaRDI QIDQ4949347FDOQ4949347
Authors: Siegfried M. Rump 
Publication date: 8 May 2000
Title of this publication is not available (Why is that?)
Recommendations
interval arithmeticmatricesgradientsMatlabslopesparallel computersINTLABvectorsmultiple precision arithmeticstandard functionsfloating point algorithmsINTerval LABoratoryreal and complex intervals
Cited In (only showing first 100 items - show all)
- Convergent upper bounds in global minimization with nonlinear equality constraints
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: a computer-assisted proof
- A branch and bound algorithm for quantified quadratic programming
- Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces
- Hölder regularity of geometric subdivision schemes
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Interval arithmetic over finitely many endpoints
- Projector based integration of DAEs with the Taylor series method using automatic differentiation
- A robustification approach in unconstrained quadratic optimization
- Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations
- Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators
- Maximum electromagnetic drag configurations for a translating conducting cylinder with distant magnetic dipoles
- Seven mutually touching infinite cylinders
- An algorithm for computing the hull of the solution set of interval linear equations
- A study of the apsidal angle and a proof of monotonicity in the logarithmic potential case
- The monotonicity of the apsidal angle in power-law potential systems
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
- An interval extension of SMS method for computing weighted Moore-Penrose inverse
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- An extension of the \(\alpha\mathrm{BB}\)-type underestimation to linear parametric Hessian matrices
- An adaptive Newton continuation strategy for the fully implicit finite element immersed boundary method
- Norm bound computation for inverses of linear operators in Hilbert spaces
- Do you trust derivatives or differences?
- Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain
- Convergence analysis of an algorithm for accurate inverse Cholesky factorization
- Fast interval matrix multiplication
- Rigorous filtering using linear relaxations
- How do you compute the midpoint of an interval?
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Numerical enclosure for multiple eigenvalues of an Hermitian matrix whose graph is a tree
- Self-validating methods
- A sharp error bound of the approximate solutions for saddle point linear systems
- Interval Ostrowski-type methods with guaranteed convergence
- The multivariate bisection algorithm
- Enclosing clusters of zeros of polynomials
- 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
- Fast enclosure for a matrix inverse square root
- IGAOR and multisplitting IGAOR methods for linear complementarity problems
- On the possibilistic approach to linear regression models involving uncertain, indeterminate or interval data
- Eigenvalues, pseudospectrum and structured perturbations
- Fast verified solutions of linear systems
- Fast enclosure for solutions in underdetermined systems
- Error bounds for nonlinear complementarity problems with band structure
- Bounds on the worst optimal value in interval linear programming
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
- Error bounds for complementarity problems with tridiagonal nonlinear functions
- Verified error bounds for singular solutions of nonlinear systems
- On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
- Computer-assisted equilibrium validation for the diblock copolymer model
- Verifying global start-up for a Möbius ring-oscillator
- A numerical verification method for a periodic solution of a delay differential equation
- Interval algorithm for absolute value equations
- Solving fuzzy complex system of linear equations
- On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum
- Monotonically convergent iterative learning control for linear discrete-time systems
- A framework of verified eigenvalue bounds for self-adjoint differential operators
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
- Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations
- Improved componentwise verified error bounds for least squares problems and underdetermined linear systems
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
- Logcf: an efficient tool for real root isolation
- Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
- Spontaneous periodic orbits in the Navier-Stokes flow
- INTLAB implementation of an interval global optimization algorithm
- Verified error bounds for multiple roots of systems of nonlinear equations
- Interval methods for optimal control
- Fast enclosure for all eigenvalues in generalized eigenvalue problems
- Local adaption for approximation and minimization of univariate functions
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- A 3D Smale horseshoe in a hyperchaotic discrete-time system
- Optimal estimation for the Fujino-Morley interpolation error constants
- Computing enclosures for the inverse square root and the sign function of a matrix
- A verified realization of a Dempster-Shafer based fault tree analysis
- Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations
- Solvers for the verified solution of parametric linear systems
- Computational fixed-point theory for differential delay equations with multiple time lags
- Numerical enclosure for each eigenvalue in generalized eigenvalue problem
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
- Interval iterative methods for computing Moore-Penrose inverse
- Verified error bounds for solutions of Sylvester matrix equations
- Weak and strong solvability of interval linear systems of equations and inequalities
- A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations
- 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
- Constrained global optimization of multivariate polynomials using Bernstein branch and prune algorithm
- An algorithm for constrained global optimization of multivariate polynomials using the Bernstein form and John optimality conditions
- Super-fast validated solution of linear systems
- Detecting structures in differential algebraic equations: computational aspects
- New bifurcations in the simplest passive walking model
- Interval extension of the three-step Kung and Traub's method
- Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations
- Parameterized solution of linear interval parametric systems
- Central configurations of the five-body problem with equal masses
- Nonlinear transformations for the simplification of unconstrained nonlinear optimization problems
- Rigorous verification of saddle-node bifurcations in ODEs
- Computational existence proofs for spherical \(t\)-designs
- Automatic differentiation for Fourier series and the radii polynomial approach
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4949347)
