Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY (2003)

Cached

Download Links

by N. Revol , K. Makino , M. Berz
Citations:11 - 3 self