The following pages link to INTLAB (Q16194):
Displaying 35 items.
- (Q5324302) (← links)
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem (Q5346534) (← links)
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (Q5347528) (← links)
- Using Different Interval Extensions to Increase the Accuracy of the Exact Solution on Recursive Functions (Q5379011) (← links)
- Efficient Automation of Index Pairs in Computational Conley Index Theory (Q5388654) (← links)
- An efficient interval symmetric single step procedure ISS1-5D for simultaneous bounding of real polynomial zeros (Q5400440) (← links)
- On modified interval symmetric single-step procedure ISS2-5D for the simultaneous inclusion of polynomial zeros (Q5400442) (← links)
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series (Q5415977) (← links)
- New Operator and Method for Solving Real Preconditioned Interval Linear Equations (Q5415987) (← links)
- Extensions of Kantorovich theorem to complementarity problem (Q5451414) (← links)
- (Q5453626) (← links)
- ACETAF (Q5461060) (← links)
- Vom Lösen numerischer Probleme (Q5493438) (← links)
- Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces (Q5495219) (← links)
- How do you compute the midpoint of an interval? (Q5498687) (← links)
- Horseshoes in the forced van der Pol system (Q5504148) (← links)
- Accurate Sum and Dot Product (Q5693174) (← links)
- Numerical Verification Methods for Solutions of the Free Boundary Problem (Q5704525) (← links)
- Accurate and Reliable Computing in Floating-Point Arithmetic (Q5747870) (← links)
- Complex Inclusion Functions in the CoStLy C++ Class Library (Q5747900) (← links)
- Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries (Q5747901) (← links)
- Interval extensions of the Halley method and its modified method for finding enclosures of roots of nonlinear equations (Q5859017) (← links)
- Free Vibrations in a Wave Equation Modeling MEMS (Q5859785) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)
- Approximate localised dihedral patterns near a turing instability (Q5886452) (← links)
- A family of eight-order interval methods for computing rigorous bounds to the solution to nonlinear equations (Q5890143) (← links)
- On factorization of analytic functions and its verification (Q5926520) (← links)
- Self-validating methods (Q5929742) (← links)
- Verification for existence of solutions of linear complementarity problems (Q5929743) (← links)
- Quasiconvex relaxations based on interval arithmetic (Q5929744) (← links)
- Computational error bounds for multiple or nearly multiple eigenvalues (Q5929752) (← links)
- Rigorous and portable standard functions (Q5952347) (← links)
- Verified error bounds for multiple roots of systems of nonlinear equations (Q5962124) (← links)
- An extension of the \(\alpha\mathrm{BB}\)-type underestimation to linear parametric Hessian matrices (Q5964239) (← links)
- Publication:4568078 (← links)
