The following pages link to (Q4949347):
Displayed 50 items.
- INTLAB (Q16194) (← links)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- A robustification approach in unconstrained quadratic optimization (Q543408) (← 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)
- 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)