Searching for "Taylor models and floating-point arithmetic proof that arithmetic operations are validated in COSY." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
by Unit Mixte, Recherche Cnrs-inria-ens Lyon, Cole Normale Suprieure De Lyon, Cole Normale Suprieure De Lyon, N. Revol, N. Revol, K. Makino, K. Makino, M. Berz, M. Berz — 2003
… models have the same order o. Proof that arithmetic operations are validated in COSY 3 Various…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB