scientific article; zbMATH DE number 1440908
From MaRDI portal
Publication:4949347
Recommendations
Cited in
(only showing first 100 items - show all)- 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
- Central configurations of the five-body problem with equal masses
- PROFIL/BIAS - A fast interval library
- Enclosing clusters of zeros of polynomials
- Ten methods to bound multiple roots of polynomials
- Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains.
- Solving obstacle problems with guaranteed accuracy.
- Numerical verification of solutions for obstacle problems.
- Improvement of convergence of an iterative method for finding polynomial factors of analytic functions
- Sharpening the estimate of the stability constant in the maximum-norm of the Crank-Nicolson scheme for the one-dimensional heat equation
- INTLAB
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Producing an interval extension of the King method
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Shrink wrapping for Taylor models revisited
- 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 pth root
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions
- Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations
- Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Higher order multi-step interval iterative methods for solving nonlinear equations in R^n
- Maximum electromagnetic drag configurations for a translating conducting cylinder with distant magnetic dipoles
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- A proof of Jones' conjecture
- Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation
- Computer-assisted proofs for radially symmetric solutions of PDEs
- A hybrid procedure for finding real points on a real algebraic set
- Verified solutions of delay eigenvalue problems
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation
- Solving over-constrained systems of non-linear interval equations -- and its robotic application
- Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions
- 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
- A numerical verification of solutions of free boundary problems
- Blending set and interval arithmetic for maximal reliability
- An estimation of algebraic solution for a complex interval linear system
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
- The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- A new deflation method for verifying the isolated singular zeros of polynomial systems
- An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
- Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation
- Rigorous numerics for NLS: bound states, spectra, and controllability
- Automatic differentiation for Fourier series and the radii polynomial approach
- Interval tensors and their application in solving multi-linear systems of equations
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set
- Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations
- Constructive error analysis of a full-discrete finite element method for the heat equation
- On the efficient Gerschgorin inclusion usage in the global optimization \(\alpha\)BB method
- Convergent upper bounds in global minimization with nonlinear equality constraints
- Spontaneous periodic orbits in the Navier-Stokes flow
- Verified computation for the geometric mean of two matrices
- Equilibrium validation in models for pattern formation based on Sobolev embeddings
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem
- Nonconvex constrained optimization by a filtering branch and bound
- A general branch-and-bound framework for continuous global multiobjective optimization
- Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations
- Clothoid fitting and geometric Hermite subdivision
- An interval branch and bound method for global robust optimization
- Numerical verification for asymmetric solutions of the Hénon equation on bounded domains
- Exclusion regions for parameter-dependent systems of equations
- Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem
- Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity
- Fast verified computation for positive solutions to \(\mathcal{M} \)-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors
- Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
- Combinatorial vs. classical dynamics: recurrence
- A posteriori verification of the positivity of solutions to elliptic boundary value problems
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications
- Minimizers of a free boundary problem on three-dimensional cones
- Euclidean distance degree and mixed volume
- Satisfaction of modeling requirements for intelligent navigation systems: risk management context
- Rigorous numerical inclusion of the blow-up time for the Fujita-type equation
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
- A general method for computer-assisted proofs of periodic solutions in delay differential problems
- Rigorous numerics for nonlinear heat equations in the complex plane of time
- Improvement of the constructive a priori error estimates for a fully discretized periodic solution of heat equation
- Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation
- Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators
- An algorithmic approach to multiobjective optimization with decision uncertainty
- Enclosing Moore-Penrose inverses
- Some improvements of invertibility verifications for second-order linear elliptic operators
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
- Global dynamic optimization using edge-concave underestimator
- The Laurent-Horner method for validated evaluation of Chebyshev expansions
- A functional analytic approach to validated numerics for eigenvalues of delay equations
- An efficient algorithm for finding all solutions of nonlinear equations using parallelogram LP test
- A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations
- Computing the spectral decomposition of interval matrices and a study on interval matrix powers
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)
