INTLAB
From MaRDI portal
Cited in
(only showing first 100 items - show all)- A framework for existence tests based on the topological degree and homotopy
- Components identification based method for box constrained variational inequality problems with almost linear functions
- Bounding the zeros of an interval equation
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- Central configurations of the five-body problem with equal masses
- MXYZPTLK
- ACETAF
- ACRITH-XSC
- CADNA
- CoStLy
- C-XSC
- C-XSC 2.0
- FORTRAN-SC
- Fast and parallel interval arithmetic
- HOM4PS
- INTBIS
- INTLIB
- intpakX
- JNF
- GC-ubs-CAP
- CPFloat
- MPFI
- PADRE2
- PROFIL/BIAS
- Projective Noether
- ReproBLAS
- UniCalc
- Enclosing clusters of zeros of polynomials
- Ten methods to bound multiple roots of polynomials
- Reliable computation of frequency response plots for nonrational transfer functions to prescribed accuracy
- Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains.
- Solving obstacle problems with guaranteed accuracy.
- Numerical verification of solutions for obstacle problems.
- On the inclusion properties of interval multiplication: A diagrammatic study
- On eigenvector bounds
- GLOPTLAB
- SOCP
- DPCM
- SLEIGN
- Erratum to: ``A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations
- MPFR
- Improvement of convergence of an iterative method for finding polynomial factors of analytic functions
- A new subdivision strategy for range computations
- Grand challenges and scientific standards in interval analysis
- Sharpening the estimate of the stability constant in the maximum-norm of the Crank-Nicolson scheme for the one-dimensional heat equation
- VSDP
- b4m
- GENDA
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Producing an interval extension of the King method
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Shrink wrapping for Taylor models revisited
- RealPaver
- Arbitrarily tight \(\alpha \mathrm{BB}\) underestimators of general non-linear functions over sub-optimal domains
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Certificates of infeasibility via nonsmooth optimization
- Fast verified computation for the matrix principal pth root
- CTDSX
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions
- Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains
- INTOPT_90
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations
- Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- COCONUT
- ipfilter
- mctoolbox
- ValEncIA-IVP
- The convergence conditions of interval Newton's method based on point estimates
- FADBAD++
- TADIFF
- LBNL
- Maximum electromagnetic drag configurations for a translating conducting cylinder with distant magnetic dipoles
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- A proof of Jones' conjecture
- Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation
- Computer-assisted proofs for radially symmetric solutions of PDEs
- A hybrid procedure for finding real points on a real algebraic set
- Verified solutions of delay eigenvalue problems
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation
- Solving over-constrained systems of non-linear interval equations -- and its robotic application
- MPSolve
- Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions
- Parametric interval algebraic systems
- Fast verified computation for the solution of the T-congruence Sylvester equation
- Easyval
- SpecialValue
- Reduced order modeling based shape optimization of surface acoustic wave driven microfluidic biochips
- A numerical verification of solutions of free boundary problems
- gaol
- Blending set and interval arithmetic for maximal reliability
- A numerical verification method for solutions of singularly perturbed problems with nonlinearity
- Precise numerical computation
- Computing discrete convolutions with verified accuracy via Banach algebras and the FFT.
- An estimation of algebraic solution for a complex interval linear system
- SLEEF
This page was built for software: INTLAB
