Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
type: Item
instance of: scholarly article
title: Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
zbMATH Open document ID: 1080.68519
published in: The Journal of Logic and Algebraic Programming
publication date: 2005-06-01T00:00:00Z
full work available at URL: RR-4737.pdf
Mathematics Subject Classification ID: 68M07
zbMATH DE Number: 2173295
zbMATH Keywords: Taylor model
zbMATH Keywords: COSY software
zbMATH Keywords: Floating-point operation
zbMATH Keywords: Rounding error
zbMATH Keywords: Containment property
zbMATH Keywords: Validated result
author: Nathalie Revol
author: Kyoko Makino
author: Martin Berz
describes a project that uses: mctoolbox
describes a project that uses: Cosy
MaRDI profile type: Publication
OpenAlex ID: W2009101896
cites work: Q4003880
cites work: Verified high-order inversion of functional dependencies and interval Newton methods
cites work: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
cites work: New methods for high-dimensional verified quadrature
cites work: A floating-point technique for extending the available precision
cites work: Accuracy and Stability of Numerical Algorithms
cites work: Verification of invertibility of complicated functions over large domains
cites work: Higher order verified inclusions of multidimensional systems by Taylor models.
cites work: Interval Methods for Systems of Equations
cites work: Adaptive precision floating-point arithmetic and fast robust geometric predicates
DOI: 10.1016/J.JLAP.2004.07.008
description: scientific article; zbMATH DE number 2173295