Formally verified approximations of definite integrals
type: Item
instance of: scholarly article
title: Formally verified approximations of definite integrals
zbMATH Open document ID: 1468.68301
author: Assia Mahboubi
author: Guillaume Melquiond
author: Thomas Sibut-Pinote
published in: Journal of Automated Reasoning
publication date: 2019-02-18T00:00:00Z
full work available at URL: main.pdf
Mathematics Subject Classification ID: 68V15
Mathematics Subject Classification ID: 65D30
Mathematics Subject Classification ID: 65G30
zbMATH DE Number: 7024460
zbMATH Keywords: formal proof
zbMATH Keywords: numeric computations
zbMATH Keywords: definite integrals
zbMATH Keywords: improper integrals
zbMATH Keywords: decision procedure
zbMATH Keywords: interval arithmetic
zbMATH Keywords: polynomial approximations
zbMATH Keywords: real analysis
describes a project that uses: Coq
describes a project that uses: Octave
describes a project that uses: Coquelicot
describes a project that uses: Coq Interval
MaRDI profile type: Publication
OpenAlex ID: W2791728102
cites work: Coquelicot: a user-friendly library of real analysis for Coq
cites work: Adaptive, Self-Validating Numerical Quadrature
cites work: Double bubbles minimize
cites work: Formally Verified Approximations of Definite Integrals
cites work: The Picard Algorithm for Ordinary Differential Equations in Coq
cites work: Proving tight bounds on univariate expressions with elementary functions in Coq
cites work: Introduction to Interval Analysis
cites work: A computer-verified monadic functional implementation of the integral
cites work: Verification methods: rigorous results using floating-point arithmetic
cites work: Q5198996
Wikidata QID: Q130093741
DOI: 10.1007/S10817-018-9463-7
Recommended article: Formally Verified Approximations of Definite Integrals
Recommended article: Verified interactive computation of definite integrals
Recommended article: Principles of verified numerical integration
Recommended article: Error bounds for approximations of the definite integrals
Recommended article: Polynomial Formal Verification of Approximate Functions
Recommended article: Q3139694
Recommended article: On a number-theoretical formula for approximate integration
Recommended article: Q3841900
Recommended article: Q4037558
description: scientific article; zbMATH DE number 7024460