INTLAB
From MaRDI portal
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
- On the interval zoro symmetric single-step procedure for simultaneous finding of polynomial zeros
- ACETAF
- ACRITH-XSC
- MXYZPTLK
- CADNA
- CoStLy
- C-XSC
- C-XSC 2.0
- FORTRAN-SC
- HOM4PS
- INTBIS
- INTLIB
- intpakX
- JNF
- ACETAF
- MPFI
- PADRE2
- PROFIL/BIAS
- Projective Noether
- UniCalc
- GLOPTLAB
- DPCM
- SOCP
- SLEIGN
- MPFR
- b4m
- GENDA
- 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
- 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
- Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
This page was built for software: INTLAB
