The following pages link to INTLAB (Q16194):
Displaying 50 items.
- Verified error bounds for solutions of Sylvester matrix equations (Q651215) (← links)
- A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations (Q654785) (← links)
- Interval algorithm for absolute value equations (Q657417) (← links)
- Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications (Q662894) (← links)
- Computational fixed-point theory for differential delay equations with multiple time lags (Q665977) (← links)
- A framework of verified eigenvalue bounds for self-adjoint differential operators (Q669702) (← links)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces (Q684197) (← links)
- Interval arithmetic over finitely many endpoints (Q695060) (← links)
- A numerical verification method for a periodic solution of a delay differential equation (Q708308) (← links)
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (Q718434) (← links)
- Testing pseudoconvexity via interval computation (Q721159) (← links)
- An interval extension of SMS method for computing weighted Moore-Penrose inverse (Q723553) (← links)
- Do you trust derivatives or differences? (Q728560) (← links)
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations (Q729841) (← links)
- Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain (Q730551) (← links)
- Numerical enclosure for multiple eigenvalues of an Hermitian matrix whose graph is a tree (Q734910) (← links)
- Verified error bounds for singular solutions of nonlinear systems (Q747729) (← links)
- Numerical enclosure for each eigenvalue in generalized eigenvalue problem (Q765307) (← links)
- Bounds on the worst optimal value in interval linear programming (Q780105) (← links)
- Outer interval solution of the eigenvalue problem under general form parametric dependencies (Q811944) (← links)
- A contribution to the feasibility of the interval Gaussian algorithm (Q811945) (← links)
- Eigenvalues, pseudospectrum and structured perturbations (Q819154) (← links)
- A proof via finite elements for Schiffer's conjecture on a regular pentagon (Q827006) (← links)
- Computing enclosures for the matrix Mittag-Leffler function (Q831239) (← links)
- Error bounds for complementarity problems with tridiagonal nonlinear functions (Q836941) (← links)
- Fast enclosure for all eigenvalues in generalized eigenvalue problems (Q848556) (← links)
- Fast verified solutions of linear systems (Q849174) (← links)
- Inversion of extremely ill-conditioned matrices in floating-point (Q849178) (← links)
- Numerical verification methods for spherical \(t\)-designs (Q849181) (← links)
- On verified numerical computations in convex programming (Q849186) (← links)
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
- On the fast solution of Toeplitz-block linear systems arising in multivariate approximation theory (Q857855) (← links)
- Interval Monte Carlo as an alternative to second-order sampling for estimating ecological risk (Q858156) (← links)
- Interval arithmetic with containment sets (Q858179) (← links)
- Super-fast validated solution of linear systems (Q861871) (← links)
- A verified method for bounding clusters of zeros of analytic functions (Q861883) (← links)
- On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains (Q861887) (← links)
- Proving the existence of zeros using the topological degree and interval arithmetic (Q861912) (← links)
- A method for separating nearly multiple eigenvalues for Hermitian matrix (Q861925) (← links)
- Interval iterative methods for computing Moore-Penrose inverse (Q864808) (← links)
- Linear systems with large uncertainties, with applications to truss structures (Q868690) (← links)
- Validation and enclosure of solutions of linear complementarity problems (Q873156) (← links)
- Robust stability test of a class of linear time-invariant interval fractional-order system using Lyapunov inequality (Q884086) (← links)
- Error bounds for initial value problems by optimization (Q889871) (← links)
- Variants of the general interval power function (Q889874) (← links)
- Verified stochastic methods (Q889881) (← links)
- Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator (Q896526) (← links)
- Hölder regularity of geometric subdivision schemes (Q896991) (← links)
- Analytic enclosure of the fundamental matrix solution. (Q906995) (← links)
