Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials-Reference-Cited by-同舟云学术

Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials

Published:2016-01-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
language:
Short-container-title:

Author:

Bernard Sophie¹,Bertot Yves¹,Rideau Laurence¹,Strub Pierre-Yves²

Affiliation:

1. Inria, France

2. IMDEA Software Institute, Spain

Funder

Cofund Action AMAROUT II

French National Agency for Research (ANR)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2854065.2854072

Reference20 articles.

1. Formalizing a proof that e is transcendental;Bingham Jesse;Journal of Formalized Reasoning,2011

2. Coquelicot: A User-Friendly Library of Real Analysis for Coq

3. Cyril Cohen. Formalized algebraic numbers: construction and firstorder theory. PhD thesis École polytechnique Nov 2012. Cyril Cohen. Formalized algebraic numbers: construction and firstorder theory. PhD thesis École polytechnique Nov 2012.

4. Refinements for Free!

5. The Number e

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal verification of semi-algebraic sets and real analytic functions;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17

2. A formal proof of Hensel's lemma over the p-adic integers;Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019

3. A Formal Proof of the Expressiveness of Deep Learning;Journal of Automated Reasoning;2018-09-22

4. All Liouville Numbers are Transcendental;Formalized Mathematics;2017-03-28

5. Introduction to Liouville Numbers;Formalized Mathematics;2017-03-28