The following pages link to INTLAB (Q16194):
Displaying 50 items.
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part (Q255432) (← links)
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- Interval arithmetic for nonlinear problem solving (Q275934) (← links)
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions (Q285445) (← links)
- A modification of the \(\alpha \mathrm{BB}\) method for box-constrained optimization and an application to inverse kinematics (Q285928) (← links)
- Parameterized solution of linear interval parametric systems (Q295186) (← links)
- Multi-step root solvers of Traub's type in real interval arithmetic (Q298478) (← links)
- Nonlinear transformations for the simplification of unconstrained nonlinear optimization problems (Q301110) (← links)
- Rigorous verification of saddle-node bifurcations in ODEs (Q307743) (← links)
- Parametric AE-solution sets to the parametric linear systems with multiple right-hand sides and parametric matrix equation \(A(p)X=B(p)\) (Q312196) (← links)
- A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Q335016) (← links)
- High performance verified computing using C-XSC (Q382427) (← links)
- Interval probabilities and enclosures (Q382434) (← links)
- Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one (Q385011) (← links)
- Weak and strong solvability of interval linear systems of equations and inequalities (Q389688) (← links)
- Numerical proof of stability of roll waves in the small-amplitude limit for inclined thin film flow (Q399954) (← links)
- On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems (Q411417) (← links)
- Solvers for the verified solution of parametric linear systems (Q411424) (← links)
- Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations (Q411425) (← links)
- A verified realization of a Dempster-Shafer based fault tree analysis (Q411450) (← links)
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity (Q421136) (← links)
- Detecting structures in differential algebraic equations: computational aspects (Q433951) (← links)
- An adaptive Newton continuation strategy for the fully implicit finite element immersed boundary method (Q440605) (← links)
- Fast interval matrix multiplication (Q451807) (← links)
- Rigorous filtering using linear relaxations (Q453629) (← links)
- A sharp error bound of the approximate solutions for saddle point linear systems (Q464634) (← links)
- Interval Ostrowski-type methods with guaranteed convergence (Q467129) (← links)
- Determination of inner and outer bounds of reachable sets through subpavings (Q475437) (← links)
- Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation (Q475453) (← links)
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
- Fast enclosure for a matrix inverse square root (Q477751) (← links)
- Verifying global start-up for a Möbius ring-oscillator (Q479839) (← links)
- Diagnosis of singular points of structured DAEs using automatic differentiation (Q494661) (← links)
- Fast verified computation for solutions of continuous-time algebraic Riccati equations (Q495857) (← links)
- Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← links)
- A blind digital image watermarking method based on the dyadic wavelet transform and interval arithmetic (Q505754) (← links)
- Solving fuzzy complex system of linear equations (Q506110) (← links)
- On the possibilistic approach to linear regression models involving uncertain, indeterminate or interval data (Q508691) (← links)
- Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations (Q515787) (← links)
- On the construction of Lyapunov functions with computer assistance (Q515790) (← links)
- A robustification approach in unconstrained quadratic optimization (Q543408) (← links)
- Domain decomposition and model reduction for the numerical solution of PDE constrained optimization problems with localized optimization variables (Q615199) (← links)
- Computational existence proofs for spherical \(t\)-designs (Q623336) (← links)
- Constrained global optimization of multivariate polynomials using Bernstein branch and prune algorithm (Q625645) (← links)
- IGAOR and multisplitting IGAOR methods for linear complementarity problems (Q631891) (← links)
- Results concerning interval linear systems with multiple right-hand sides and the interval matrix equation \(AX=B\) (Q631899) (← links)
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (Q634116) (← links)
- Error bounds for nonlinear complementarity problems with band structure (Q637561) (← links)
- A note on the prior parameter choice in finite mixture models of distributions from exponential families (Q650704) (← links)
