Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Sibut-Pinote
Formally Verified Approximations of Definite Integrals
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Related publications
A Formally Verified NAT Stack
Formally Verified Cryptographic Web Applications in WebAssembly
Definite Integrals of Generalized Certain Class of Incomplete Elliptic Integrals
Tamkang Journal of Mathematics
Materials Science
Applied Mathematics
Alloys
Metals
Mathematics
Approximations for Elliptic Integrals
Mathematics of Computation
Computational Mathematics
Applied Mathematics
Number Theory
Algebra
Ledger Design Language: Designing and Deploying Formally Verified Public Ledgers
On the Theory of Improper Definite Integrals
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
On Definite Integrals Involving Elliptic Functions
Proceedings of the Royal Society of London
On Certain Definite Integrals. No. 15
Proceedings of the Royal Society of London
On Construction of a Library of Formally Verified Low-Level Arithmetic Functions
