The following pages link to INTLAB (Q16194):
Displaying 50 items.
- Fast verified computation for positive solutions to \(\mathcal{M} \)-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors (Q2074874) (← links)
- Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE (Q2076212) (← links)
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
- Combinatorial vs. classical dynamics: recurrence (Q2076255) (← links)
- A posteriori verification of the positivity of solutions to elliptic boundary value problems (Q2077122) (← links)
- Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications (Q2088756) (← links)
- Minimizers of a free boundary problem on three-dimensional cones (Q2094286) (← links)
- Euclidean distance degree and mixed volume (Q2098233) (← links)
- Satisfaction of modeling requirements for intelligent navigation systems: risk management context (Q2101775) (← links)
- Rigorous numerical inclusion of the blow-up time for the Fujita-type equation (Q2111578) (← links)
- An integrative approach for analysis of nonlinear electrical circuits using-polynomial B-spline expansion and B-spline Krawczyk operator (Q2114513) (← links)
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem (Q2116294) (← links)
- A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- Rigorous numerics for nonlinear heat equations in the complex plane of time (Q2149062) (← links)
- Improvement of the constructive a priori error estimates for a fully discretized periodic solution of heat equation (Q2160296) (← links)
- Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation (Q2163587) (← links)
- An algorithmic approach to multiobjective optimization with decision uncertainty (Q2173509) (← links)
- Enclosing Moore-Penrose inverses (Q2174195) (← links)
- Some improvements of invertibility verifications for second-order linear elliptic operators (Q2174959) (← links)
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
- Global dynamic optimization using edge-concave underestimator (Q2182856) (← links)
- The Laurent-Horner method for validated evaluation of Chebyshev expansions (Q2184928) (← links)
- A functional analytic approach to validated numerics for eigenvalues of delay equations (Q2192455) (← links)
- An efficient algorithm for finding all solutions of nonlinear equations using parallelogram LP test (Q2196050) (← links)
- Verified error bounds for real eigenvalues of real symmetric and persymmetric matrices (Q2217866) (← links)
- A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations (Q2231596) (← links)
- Computing the spectral decomposition of interval matrices and a study on interval matrix powers (Q2242816) (← links)
- An interval Kalman filter enhanced by lowering the covariance matrix upper bound (Q2243623) (← links)
- The verification of multiplicity support of a defective eigenvalue of a real matrix (Q2247117) (← links)
- Rigorous continuation of periodic solutions for impulsive delay differential equations (Q2247173) (← links)
- Computing enclosures for the inverse square root and the sign function of a matrix (Q2249733) (← links)
- Improved componentwise verified error bounds for least squares problems and underdetermined linear systems (Q2249828) (← links)
- Exclusion regions for optimization problems (Q2250096) (← links)
- First order rejection tests for multiple-objective optimization (Q2250111) (← links)
- Projector based integration of DAEs with the Taylor series method using automatic differentiation (Q2252350) (← links)
- On the computation of output bounds on parallel inputs pharmacokinetic models with parametric uncertainty (Q2256483) (← links)
- Convergence analysis of an algorithm for accurate inverse Cholesky factorization (Q2257609) (← links)
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation (Q2257618) (← links)
- Interfaces supporting surface gap soliton ground states in the 1D nonlinear Schrödinger equation (Q2257676) (← links)
- Seven mutually touching infinite cylinders (Q2261578) (← links)
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation (Q2269624) (← links)
- Verified computation for the matrix Lambert \(W\) function (Q2286071) (← links)
- Logcf: an efficient tool for real root isolation (Q2287381) (← links)
- Computing the Moore-Penrose inverse using its error bounds (Q2287706) (← links)
- Constructive error estimates for full discrete approximation of periodic solution for heat equation (Q2291992) (← links)
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (Q2291993) (← links)
- Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems (Q2293603) (← links)
- Modified error bounds for approximate solutions of dense linear systems (Q2293605) (← links)
