The following pages link to INTLAB (Q16194):
Displaying 50 items.
- Error‐free transformation of matrix multiplication with a posteriori validation (Q2955990) (← links)
- (Q2961345) (← links)
- Validated Computation of Heteroclinic Sets (Q2967809) (← links)
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain (Q2974076) (← links)
- (Q2975186) (← links)
- Automatic Fréchet Differentiation for the Numerical Solution of Boundary-Value Problems (Q2989169) (← links)
- Well Conditioned Spherical Designs for Integration and Interpolation on the Two-Sphere (Q3021284) (← links)
- Eigenvalue range determination for interval and parametric matrices (Q3075933) (← links)
- Accurate Matrix Factorization: Inverse LU and Inverse QR Factorizations (Q3079755) (← links)
- (Q3096290) (← links)
- Domain decomposition and balanced truncation model reduction for shape optimization of the Stokes system (Q3096876) (← links)
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation (Q3097498) (← links)
- Numerical verification of positiveness for solutions to semilinear elliptic problems (Q3121396) (← links)
- IEEE754 Precision- <i>k</i> base-β Arithmetic Inherited by Precision- <i>m</i> Base-β Arithmetic for <i>k</i> < <i>m</i> (Q3176310) (← links)
- Numerical proof of stability of viscous shock profiles (Q3181119) (← links)
- Heteroclinic connections between triple collisions and relative periodic orbits in the isosceles three-body problem (Q3183662) (← links)
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
- An efficient overloaded method for computing derivatives of mathematical functions in MATLAB (Q3189676) (← links)
- INTLAB implementation of an interval global optimization algorithm (Q3396395) (← links)
- (Q3451951) (← links)
- A method to rigorously enclose eigendecompositions of interval matrices (Q3454426) (← links)
- Multirate sliding mode disturbance compensation for model predictive control (Q3458173) (← links)
- Feasible Method for Semi-Infinite Programs (Q3461986) (← links)
- THE NEWTON’S METHOD INTERVAL SINGLE-STEP PROCEDURE FOR BOUNDING POLYNOMIAL ZEROS SIMULTANEOUSLY (Q3465007) (← links)
- Fast enclosure for the minimum norm least squares solution of the matrix equation <i>A</i><i>X</i><i>B</i> = <i>C</i> (Q3466254) (← links)
- Application of an identity for subtrees with a given eigenvalue (Q3467067) (← links)
- Error Estimation for Nonlinear Complementarity Problems via Linear Systems with Interval Data (Q3506281) (← links)
- The Adaptive Convexification Algorithm: A Feasible Point Method for Semi-Infinite Programming (Q3544257) (← links)
- Three-dimensional element configurations for the discontinuous enrichment method for acoustics (Q3549808) (← links)
- Verified Computation of Square Roots of a Matrix (Q3584160) (← links)
- (Q3585498) (← links)
- Introduction to Interval Analysis (Q3605131) (← links)
- (Q3611357) (← links)
- Interval arithmetic error estimation for the solution of Fredholm integral equation (Q3615557) (← links)
- Numerical Study of Algebraic Problems Using Stochastic Arithmetic (Q3616811) (← links)
- Numerical verification of solutions for Signorini problems using Newton-like method (Q3623160) (← links)
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation (Q3624476) (← links)
- Stopping Criteria for Rational Matrix Functions of Hermitian and Symmetric Matrices (Q3630376) (← links)
- (Q4463457) (← links)
- Interval QFT: a mathematical and computational enhancement of QFT (Q4543686) (← links)
- Computer-assisted bifurcation diagram validation and applications in materials science (Q4557494) (← links)
- (Q4558473) (← links)
- (Q4568078) (← links)
- Computation of Algebraic Solutions to Interval Systems Via Systems of Coordinates (Q4577108) (← links)
- Simulation of a Controlled Aircraft Elevator under Sensor Uncertainties (Q4577120) (← links)
- On the algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic (Q4577128) (← links)
- Algorithm 984 (Q4581382) (← links)
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof (Q4594528) (← links)
- Fast verified computation for solutions of algebraic Riccati equations arising in transport theory (Q4599014) (← links)
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)
