The following pages link to INTLAB (Q16194):
Displaying 50 items.
- Handbook of Floating-Point Arithmetic (Q4609588) (← links)
- Interval extension of the three-step Kung and Traub's method (Q4614156) (← links)
- Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions (Q4614397) (← links)
- A Branch--and--Bound-Based Algorithm for Nonconvex Multiobjective Optimization (Q4629343) (← links)
- The united stable solution set of interval continuous-time algebraic Riccati equation and veri ed numerical computation of its outer estimation (Q4634228) (← links)
- Inconsistencies in Numerical Simulations of Dynamical Systems Using Interval Arithmetic (Q4643619) (← links)
- Exclusion Regions for Systems of Equations (Q4653869) (← links)
- Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques (Q4683972) (← links)
- Mathematically rigorous global optimization in floating-point arithmetic (Q4685569) (← links)
- Advanced Arithmetic for the Digital Computer (Q4779044) (← links)
- Numerical inclusion methods of solutions for variational inequalities (Q4785183) (← links)
- (Q4919159) (← links)
- (Q4942670) (← links)
- (Q4945762) (← links)
- FloatX (Q4960963) (← links)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088) (← links)
- Application of the Discrete Empirical Interpolation Method to Reduced Order Modeling of Nonlinear and Parametric Systems (Q4983098) (← links)
- Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards (Q4997480) (← links)
- (Q5003340) (← links)
- Analysis of Pandemic Closing-Reopening Cycles Using Rigorous Homotopy Continuation: A Case Study with Montreal COVID-19 Data (Q5004089) (← links)
- Enclosing the solution set of the parametric generalised Sylvester matrix equation <i>A</i>(<i>p</i>)<i>XB</i>(<i>p</i>) + <i>C</i>(<i>p</i>)<i>XD</i>(<i>p</i>) = <i>F</i>(<i>p</i>) (Q5026867) (← links)
- Scaled parallel iterative method for finding real roots of nonlinear equations (Q5038158) (← links)
- On an approach to numerical solutions of the Dirichlet problem of an arbitrary dimension (Q5048437) (← links)
- Numerical validation of the existence of solutions for variational inequality problem via Poincaré-Miranda theorem (Q5051233) (← links)
- Verified Error Bounds for All Eigenvalues and Eigenvectors of a Matrix (Q5057775) (← links)
- Verified computation of matrix gamma function (Q5073022) (← links)
- Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof (Q5074385) (← links)
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents (Q5075720) (← links)
- Numerical Verification of Solutions for Nonlinear Parabolic Problems (Q5118178) (← links)
- Faithfully Rounded Floating-point Computations (Q5132334) (← links)
- Computing Enclosures for the Matrix Exponential (Q5146627) (← links)
- Torus knot choreographies in the n-body problem (Q5147943) (← links)
- (Q5151125) (← links)
- Useful computations need useful numbers (Q5175696) (← links)
- (Q5188265) (← links)
- Accurate Floating-Point Summation Part I: Faithful Rounding (Q5189669) (← links)
- (Q5223868) (← links)
- The multivariate bisection algorithm (Q5227502) (← links)
- Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem (Q5232291) (← links)
- Simulating Low Precision Floating-Point Arithmetic (Q5241264) (← links)
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem (Q5250034) (← links)
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations (Q5258573) (← links)
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP (Q5302762) (← links)
- Interval Subroutine Library Mission (Q5302763) (← links)
- Verified Methods in Stochastic Traffic Modelling (Q5302767) (← links)
- Numerical Software with Result Verification (Q5308342) (← links)
- Numerical Software with Result Verification (Q5308343) (← links)
- Numerical Software with Result Verification (Q5308344) (← links)
- Numerical Software with Result Verification (Q5308345) (← links)
- The Numerical Solution of Systems of Polynomials Arising in Engineering and Science (Q5312787) (← links)
