swMATH4004MaRDI QIDQ16194FDOQ16194
Author name not available (Why is that?)
Official website: http://www.ti3.tu-harburg.de/rump/intlab/
Cited In (only showing first 100 items - show all)
- Logcf: an efficient tool for real root isolation
- Local adaption for approximation and minimization of univariate functions
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- Optimal estimation for the Fujino-Morley interpolation error constants
- On the interval zoro symmetric single-step procedure for simultaneous finding of polynomial zeros
- CADNA
- FORTRAN-SC
- HOM4PS
- INTBIS
- ACETAF
- SOCP
- b4m
- VSDP
- RealPaver
- CTDSX
- INTOPT_90
- COCONUT
- ipfilter
- FADBAD++
- mctoolbox
- LBNL
- ValEncIA-IVP
- TADIFF
- MPSolve
- Easyval
- gaol
- SpecialValue
- Chebfun
- PNM
- SLEEF
- deTestSet
- IZSS1
- logcf
- filib++
- FastPILSS
- ParLinSys
- GlobSol
- Flocq
- advanpix
- ARPREC
- alphaCertified
- CompAD
- CAPD
- Cosy
- Arb
- Algorithm 524
- Knut
- Intsolver
- PolyPaver
- Test Set for IVP Solvers
- ATOMFT
- STABLAB
- ValEncIA
- INTPAK
- DSI Toolbox
- exflib
- IPP Toolbox
- RAMAS Risk Calc
- PHClab
- Lurupa
- PLASMA
- MOBILE
- PSICO
- SmartMobile
- Taylor
- SONIC
- VERSOFT
- DAREX
- HSPICE
- Eigensolve
- IBEX
- XBLAS
- CRlibm
- DAETS
- VNODE
- MAD
- Int4Sci
- PRECISE
- Algorithm 931
- Algorithm 876
- SoftFloat
- bvp4cAD
- Octave Interval
- Algorithm 674
- PMAD
- JGloptLab
- Lorenz-Database
- ODEIntegrator
- NACLab
- CAMPARY
- galepu
- CTLEX
- Pseudospectra
- Numerical Software with Result Verification
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
- Complex inclusion functions in the CoStLy C++ class library
- Blending set and interval arithmetic for maximal reliability
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
- Title not available (Why is that?)
This page was built for software: INTLAB
