The following pages link to CoStLy (Q12931):
Displayed 5 items.
- Mathematical software -- ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13--17, 2010. Proceedings (Q2638151) (← links)
- CoStLy: A Validated Library for Complex Functions (Q2954897) (← links)
- The Mathematical-Function Computation Handbook (Q4600847) (← links)
- Inconsistencies in Numerical Simulations of Dynamical Systems Using Interval Arithmetic (Q4643619) (← links)
- Numerical Software with Result Verification (Q5308343) (← links)