A validated real function calculus
type: Item
instance of: scholarly article
title: A validated real function calculus
zbMATH Open document ID: 1266.65074
author: Nathalie Revol
author: Pieter Collins
author: Milad Niqui
published in: Mathematics in Computer Science
publication date: 2013-05-16T00:00:00Z
Mathematics Subject Classification ID: 65G20
Mathematics Subject Classification ID: 65G30
zbMATH DE Number: 6163705
zbMATH Keywords: interval arithmetic
zbMATH Keywords: floating point
zbMATH Keywords: function calculus
zbMATH Keywords: algorithms
zbMATH Keywords: sparse polynomial models
zbMATH Keywords: verification
describes a project that uses: Coq
describes a project that uses: Gappa
describes a project that uses: Flocq
describes a project that uses: Frama-C
describes a project that uses: chebop
describes a project that uses: Cosy
MaRDI profile type: Publication
full work available at URL: s11786-011-0102-5
OpenAlex ID: W2045381394
cites work: Combining Coq and Gappa for Certifying Floating-Point Programs
cites work: Chebyshev interpolation polynomial-based tools for rigorous computing
cites work: Efficient and accurate computation of upper bounds of approximation errors
cites work: Q4790659
cites work: The chebop system for automatic solution of differential equations
cites work: Q4808034
cites work: On the Multivariate Horner Scheme
cites work: Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
cites work: Computing numerically with functions instead of numbers
cites work: Formal Global Optimisation with Taylor Models
DOI: 10.1007/S11786-011-0102-5
description: scientific article; zbMATH DE number 6163705