July 1, 2005· The Journal of Logic and Algebraic Programming
article
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
Authors:N. RevolK. MakinoM. Berz
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.