Name
Title | ||
|---|---|---|
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY |
Abstract | ||
|---|---|---|
The goal of this paper is to prove that the implementation of Taylor models in COSY, based on floating-point arithmetic, computes results satisfying the “containment property”, i.e. guaranteed results. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1016/j.jlap.2004.07.008 | The Journal of Logic and Algebraic Programming |
Keywords | Field | DocType |
Taylor model,COSY software,Floating-point operation,Rounding error,Containment property,Validated result | Discrete mathematics,Taylor models,Floating point,Round-off error,Scalar (physics),Arithmetic,Software,Mathematics | Journal |
Volume | Issue | ISSN |
64 | 1 | 1567-8326 |
Citations | PageRank | References |
21 | 1.97 | 8 |
Authors | ||
3 | ||