swMATH163MaRDI QIDQ12931FDOQ12931
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007%2F978-3-642-15582-6_53
Cited In (5)
- Numerical Software with Result Verification
- Inconsistencies in numerical simulations of dynamical systems using interval arithmetic
- Mathematical software -- ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13--17, 2010. Proceedings
- CoStLy: A Validated Library for Complex Functions
- The mathematical-function computation handbook. Programming using the MathCW portable software library
This page was built for software: CoStLy
