Formally Verified Approximations of Definite Integrals

Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-018-9463-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

A Formally Verified NAT Stack

2018English

Formally Verified Cryptographic Web Applications in WebAssembly

2019English

Definite Integrals of Generalized Certain Class of Incomplete Elliptic Integrals

Tamkang Journal of Mathematics
Materials ScienceApplied MathematicsAlloysMetalsMathematics
2013English

Approximations for Elliptic Integrals

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1968English

Ledger Design Language: Designing and Deploying Formally Verified Public Ledgers

2018English

On the Theory of Improper Definite Integrals

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1901English

On Definite Integrals Involving Elliptic Functions

Proceedings of the Royal Society of London
1879English

On Certain Definite Integrals. No. 15

Proceedings of the Royal Society of London
1887English

On Construction of a Library of Formally Verified Low-Level Arithmetic Functions

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy