Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec
From MaRDI portal
Publication:286798
DOI10.1007/s10817-015-9338-0zbMath1356.68190OpenAlexW1755672467WikidataQ113901250 ScholiaQ113901250MaRDI QIDQ286798
F. Blanchet-Sadri, M. Dambrine
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-015-9338-0
Related Items
Some open problems related to creative telescoping ⋮ Unnamed Item ⋮ A bi-directional extensible interface between Lean and Mathematica ⋮ Verified interactive computation of definite integrals
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formal and efficient primality proofs by use of computer algebra oracles
- Apéry's double sum is plain sailing indeed
- A holonomic systems approach to special functions identities
- A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
- A Skeptic's approach to combining HOL and Maple
- Finding identities with the WZ method
- On the formalization of gamma function in HOL
- A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
- A Computational Approach to Pocklington Certificates in Type Theory
- Rational Functions Certify Combinatorial Identities
- Primality Proving with Elliptic Curves
- A Note on the Irrationality of ζ(2) and ζ(3)
- Decision procedure for indefinite hypergeometric summation
- How To Do Monthly Problems With Your Computer
- The Binomial Coefficient Function
- Complex Analysis
- Number Theory
This page was built for publication: Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec
