The following pages link to INTLAB (Q16194):
Displaying 50 items.
- Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space (Q2293609) (← links)
- Numerical verification method for positive solutions of elliptic problems (Q2297084) (← links)
- Explicit eigenvalue bounds of differential operators defined by symmetric positive semi-definite bilinear forms (Q2297123) (← links)
- On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum (Q2297144) (← links)
- Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption (Q2297163) (← links)
- Verified bounds for the determinant of real or complex point or interval matrices (Q2297164) (← links)
- Adaptive mesh refinement method for solving optimal control problems using interpolation error analysis and improved data compression (Q2297402) (← links)
- Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
- Interval methods with fifth order of convergence for solving nonlinear scalar equations (Q2306135) (← links)
- An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator (Q2312674) (← links)
- Rigorous numerical computations for 1D advection equations with variable coefficients (Q2318496) (← links)
- An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space (Q2318498) (← links)
- Optimal estimation for the Fujino-Morley interpolation error constants (Q2318506) (← links)
- Solving interval linear programming problems with equality constraints using extended interval enclosure solutions (Q2318585) (← links)
- Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
- Rigorous validation of stochastic transition paths (Q2334873) (← links)
- Interval computing periodic orbits of maps using a piecewise approach (Q2335592) (← links)
- A study of the apsidal angle and a proof of monotonicity in the logarithmic potential case (Q2338697) (← links)
- Cellphone geolocation via magnetic mapping (Q2342513) (← links)
- The monotonicity of the apsidal angle in power-law potential systems (Q2347159) (← links)
- Blow-up profile for solutions of a fourth order nonlinear equation (Q2349495) (← links)
- Some observations on exclusion regions in branch and bound algorithms (Q2349518) (← links)
- Improvement of error-free splitting for accurate matrix multiplication (Q2349545) (← links)
- Some considerations of the invertibility verifications for linear elliptic operators (Q2352136) (← links)
- A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem (Q2352149) (← links)
- Interval unions (Q2359762) (← links)
- Local adaption for approximation and minimization of univariate functions (Q2396714) (← links)
- A branch and bound algorithm for quantified quadratic programming (Q2397427) (← links)
- Generalized solution sets of the interval generalized Sylvester matrix equation \(\sum_{i=1}^p\mathbf A_iX_i+\sum_{j=1}^qY_j\mathbf B_j=\mathbf C\) and some approaches for inner and outer estimations (Q2400693) (← links)
- Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation (Q2407127) (← links)
- A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems (Q2408147) (← links)
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation (Q2412747) (← links)
- Verified computation for the matrix principal logarithm (Q2418976) (← links)
- The dimension spectrum of conformal graph directed Markov systems (Q2421282) (← links)
- Explicit bound for quadratic Lagrange interpolation constant on triangular finite elements (Q2422957) (← links)
- Fast algorithms for floating-point interval matrix multiplication (Q2428100) (← links)
- An algorithm for computing the hull of the solution set of interval linear equations (Q2431184) (← links)
- How to determine basis stability in interval linear programming (Q2439525) (← links)
- An algorithm for bounded-error identification of nonlinear systems based on DC functions (Q2440614) (← links)
- Componentwise enclosure for solutions of least squares problems and underdetermined systems (Q2442244) (← links)
- Guaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elements (Q2452280) (← links)
- A branch and prune algorithm for the computation of generalized aspects of parallel robots (Q2453696) (← links)
- On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems (Q2454037) (← links)
- An approach to the numerical verification of solutions for obstacle problems (Q2459626) (← links)
- Uncertainty in GPS networks due to remaining systematic errors: the interval approach (Q2461467) (← links)
- A 3D Smale horseshoe in a hyperchaotic discrete-time system (Q2478360) (← links)
- Iterative learning control. Robustness and monotonic convergence for interval systems. (Q2479019) (← links)
- Determining the positive definiteness margin of interval matrices (Q2481141) (← links)
- Enclosing solutions of singular interval systems iteratively (Q2484076) (← links)
- Fast inclusion of interval matrix multiplication (Q2484077) (← links)
