The following pages link to INTLAB (Q16194):
Displaying 50 items.
- Verified solutions of delay eigenvalue problems (Q1735394) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation (Q1737666) (← links)
- Solving over-constrained systems of non-linear interval equations -- and its robotic application (Q1740041) (← links)
- Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system (Q1744121) (← links)
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions (Q1753228) (← links)
- Parametric interval algebraic systems (Q1755453) (← links)
- Fast verified computation for the solution of the T-congruence Sylvester equation (Q1756718) (← links)
- Reduced order modeling based shape optimization of surface acoustic wave driven microfluidic biochips (Q1761653) (← links)
- A numerical verification of solutions of free boundary problems (Q1767948) (← links)
- Blending set and interval arithmetic for maximal reliability (Q1774157) (← links)
- A numerical verification method for solutions of singularly perturbed problems with nonlinearity (Q1774296) (← links)
- Precise numerical computation (Q1779570) (← links)
- Computing discrete convolutions with verified accuracy via Banach algebras and the FFT. (Q1785642) (← links)
- An estimation of algebraic solution for a complex interval linear system (Q1797928) (← links)
- Componentwise pseudospectrum of a matrix (Q1826729) (← links)
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators (Q1860405) (← links)
- A rigorous global optimization algorithm for problems with ordinary differential equations (Q1862172) (← links)
- The adaptive convexification algorithm for semi-infinite programming with arbitrary index sets (Q1925776) (← links)
- The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set (Q1930971) (← links)
- Accurate solution of dense linear systems I: Algorithms in rounding to nearest (Q1932770) (← links)
- Accurate solution of dense linear systems. II: Algorithms using directed rounding (Q1932771) (← links)
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- A new deflation method for verifying the isolated singular zeros of polynomial systems (Q1987424) (← links)
- An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations (Q1987430) (← links)
- Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation (Q1993448) (← links)
- Rigorous numerics for NLS: bound states, spectra, and controllability (Q1999948) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- Interval tensors and their application in solving multi-linear systems of equations (Q2004549) (← links)
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence (Q2005582) (← links)
- Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set (Q2005607) (← links)
- Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations (Q2009471) (← links)
- Constructive error analysis of a full-discrete finite element method for the heat equation (Q2009472) (← links)
- On the efficient Gerschgorin inclusion usage in the global optimization \(\alpha\)BB method (Q2018467) (← links)
- Convergent upper bounds in global minimization with nonlinear equality constraints (Q2020617) (← links)
- Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
- Verified computation for the geometric mean of two matrices (Q2024609) (← links)
- Equilibrium validation in models for pattern formation based on Sobolev embeddings (Q2026625) (← links)
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem (Q2029666) (← links)
- Nonconvex constrained optimization by a filtering branch and bound (Q2038915) (← links)
- A general branch-and-bound framework for continuous global multiobjective optimization (Q2038927) (← links)
- Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations (Q2044142) (← links)
- Clothoid fitting and geometric Hermite subdivision (Q2045086) (← links)
- An interval branch and bound method for global robust optimization (Q2046260) (← links)
- Numerical verification for asymmetric solutions of the Hénon equation on bounded domains (Q2050927) (← links)
- Exclusion regions for parameter-dependent systems of equations (Q2052383) (← links)
- Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem (Q2052903) (← links)
- A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains (Q2057959) (← links)
- Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity (Q2074191) (← links)
