The following pages link to INTLAB (Q16194):
Displaying 50 items.
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204) (← links)
- A general reliable quadratic form: An extension of affine arithmetic (Q2494411) (← links)
- Verification of positive definiteness (Q2502318) (← links)
- Analysis and design of robust controllers using the interval Diophantine equation (Q2503181) (← links)
- A parameterized floating-point formalizaton in HOL Light (Q2520685) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- Monotonically convergent iterative learning control for linear discrete-time systems (Q2576106) (← links)
- Guaranteed characterization of exact non-asymptotic confidence regions as defined by LSCR and SPS (Q2628428) (← links)
- Verified computation of the matrix exponential (Q2631982) (← links)
- Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
- Bounds for the range of a complex polynomial over a rectangular region (Q2656078) (← links)
- Verified computation of real powers of matrices (Q2656092) (← links)
- Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem (Q2660610) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- Eigenvalues and delay differential equations: periodic coefficients, impulses and rigorous numerics (Q2665540) (← links)
- Convergence of interval AOR method for linear interval equations (Q2673258) (← links)
- Entrywise lower and upper bounds for the Perron vector (Q2676749) (← links)
- Applied interval analysis. With examples in parameter and state estimation, robust control and robotics. Incl. 1 CD-ROM (Q2713275) (← links)
- Fast verification algorithms in Matlab (Q2738493) (← links)
- Exclusion and inclusion regions for the eigenvalues of a normal matrix (Q2784398) (← links)
- New bifurcations in the simplest passive walking model (Q2787886) (← links)
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369) (← links)
- High-Precision Eigenvalue Bound for the Laplacian with Singularities (Q2799568) (← links)
- Real Root Isolation of Polynomial Equations Based on Hybrid Computation (Q2799571) (← links)
- Interval total single step procedure for bounding polynomial zeros (Q2811364) (← links)
- Validated saddle-node bifurcations and applications to lattice dynamical systems (Q2826307) (← links)
- Convergence of Rump’s method for computing the Moore-Penrose inverse (Q2828821) (← links)
- Formally Verified Approximations of Definite Integrals (Q2829263) (← links)
- Bounding the search space for global optimization of neural networks learning error: an interval analysis approach (Q2834501) (← links)
- A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations (Q2840620) (← links)
- Constructive a priori error estimates for a full discrete approximation of the heat equation (Q2845601) (← links)
- Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape (Q2845606) (← links)
- An intlab based global optimization method and its application to a sensor network localization problem (Q2859449) (← links)
- Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits (Q2871323) (← links)
- Bounding the error for approximate solutions of almost linear complementarity problems using feasible vectors (Q2889378) (← links)
- Tight and efficient enclosure of matrix multiplication by using optimized BLAS. (Q2889382) (← links)
- Verification methods: rigorous results using floating-point arithmetic (Q2890535) (← links)
- On the interval zoro symmetric single-step procedure for simultaneous finding of polynomial zeros (Q2898628) (← links)
- On the convergence rate of symmetric single-step method ISS for simultaneous bounding polynomial zeros (Q2898633) (← links)
- Verified bounds for least squares problems and underdetermined linear systems (Q2903115) (← links)
- On the modification of the p-RF method for inclusion of a zero of a function (Q2906041) (← links)
- An improved parameter regula falsi method for enclosing a zero of a function (Q2907855) (← links)
- Result verification for the real quadratic eigenvalue problem (Q2910961) (← links)
- Verified error bounds for isolated singular solutions of polynomial systems (Q2927825) (← links)
- Enclosures for the solution set of parametric interval linear systems (Q2934496) (← links)
- Numerical Methods and Optimization (Q2935434) (← links)
- Fast Enclosure for All Eigenvalues and Invariant Subspaces in Generalized Eigenvalue Problems (Q2936594) (← links)
- Rigorous Validation of Isolating Blocks for Flows and Their Conley Indices (Q2940742) (← links)
- An efficient approach to solve very large dense linear systems with verified computing on clusters (Q2948101) (← links)
- (Q2953063) (← links)
