INTLAB - MaRDI portal

swMATH4004MaRDI QIDQ16194FDOQ16194

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems
A proof via finite elements for Schiffer's conjecture on a regular pentagon
Blow-up profile for solutions of a fourth order nonlinear equation
Computing enclosures for the matrix Mittag-Leffler function
Three-dimensional element configurations for the discontinuous enrichment method for acoustics
Torus knot choreographies in the n-body problem
Sharpening the estimate of the stability constant in the maximum-norm of the Crank-Nicolson scheme for the one-dimensional heat equation
Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties
Global dynamics in nonconservative nonlinear Schrödinger equations
Title not available (Why is that?)
Numerical verification methods for spherical \(t\)-designs
On verified numerical computations in convex programming
Componentwise pseudospectrum of a matrix
Fast verified computation for the matrix principal \(p\)th root
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
On factorization of analytic functions and its verification
A verified method for bounding clusters of zeros of analytic functions
A method for separating nearly multiple eigenvalues for Hermitian matrix
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
Numerical Software with Result Verification
Verified computation for the geometric mean of two matrices
A framework for existence tests based on the topological degree and homotopy
Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
Verified computation for the matrix Lambert \(W\) function
Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds
Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains.
Verified computation for the matrix principal logarithm
Components identification based method for box constrained variational inequality problems with almost linear functions
Improvement of convergence of an iterative method for finding polynomial factors of analytic functions
Verified computation of the matrix exponential
Verified computation of real powers of matrices
Error bounds for initial value problems by optimization
Variants of the general interval power function
Verified stochastic methods
Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator
Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator
Analytic enclosure of the fundamental matrix solution.
Componentwise enclosure for solutions of least squares problems and underdetermined systems
Arbitrarily tight \(\alpha \mathrm{BB}\) underestimators of general non-linear functions over sub-optimal domains
Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
Formally Verified Approximations of Definite Integrals
Fast verified computation for solutions of algebraic Riccati equations arising in transport theory
A new subdivision strategy for range computations
Title not available (Why is that?)
Quasiconvex relaxations based on interval arithmetic
Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation
Computing Enclosures for the Matrix Exponential
Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains
THE NEWTON’S METHOD INTERVAL SINGLE-STEP PROCEDURE FOR BOUNDING POLYNOMIAL ZEROS SIMULTANEOUSLY
Verified error bounds for isolated singular solutions of polynomial systems
Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
Title not available (Why is that?)
Title not available (Why is that?)
Computer-assisted bifurcation diagram validation and applications in materials science
Computer-assisted proofs for radially symmetric solutions of PDEs
Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
Enclosing Moore-Penrose inverses
A hybrid procedure for finding real points on a real algebraic set
Rigorous continuation of bifurcation points in the diblock copolymer equation
Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation
An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
Verified solutions of delay eigenvalue problems
Solving over-constrained systems of non-linear interval equations -- and its robotic application
Numerical Verification Methods for Solutions of the Free Boundary Problem
Numerical proof of stability of viscous shock profiles
Solving obstacle problems with guaranteed accuracy.
Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system
Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
Numerical verification of solutions for obstacle problems.
Reliable computation of frequency response plots for nonrational transfer functions to prescribed accuracy
Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions
Parametric interval algebraic systems
Some considerations of the invertibility verifications for linear elliptic operators
A general method for computer-assisted proofs of periodic solutions in delay differential problems
Fast verified computation for the solution of the T-congruence Sylvester equation
Reduced order modeling based shape optimization of surface acoustic wave driven microfluidic biochips
Rigorous numerics for NLS: bound states, spectra, and controllability
Mathematically rigorous global optimization in floating-point arithmetic
Euclidean distance degree and mixed volume
Producing an interval extension of the King method
A general branch-and-bound framework for continuous global multiobjective optimization
A new deflation method for verifying the isolated singular zeros of polynomial systems
Multirate sliding mode disturbance compensation for model predictive control
A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
Algorithm 984
Numerical Verification of Solutions for Nonlinear Parabolic Problems
Shrink wrapping for Taylor models revisited
An interval Kalman filter enhanced by lowering the covariance matrix upper bound
Computing discrete convolutions with verified accuracy via Banach algebras and the FFT.
Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
Title not available (Why is that?)
Certificates of infeasibility via nonsmooth optimization
Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions
A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
The convergence conditions of interval Newton's method based on point estimates
Orbital stability investigations for travelling waves in a nonlinearly supported beam
First order rejection tests for multiple-objective optimization
Validated saddle-node bifurcations and applications to lattice dynamical systems

This page was built for software: INTLAB