Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec (Q286798): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-015-9338-0
@@ Property / DOI: 10.1007/s10817-015-9338-0 / rank @@
-Normal rank
@@ Property / author @@
+M. Dambrine
@@ Property / author: M. Dambrine / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F10
@@ Property / Mathematics Subject Classification ID: 33F10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585256
@@ Property / zbMATH DE Number: 6585256 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal proof
@@ Property / zbMATH Keywords: formal proof / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hypergeometric summation
@@ Property / zbMATH Keywords: hypergeometric summation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-015-9338-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1755672467
@@ Property / OpenAlex ID: W1755672467 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113901250
@@ Property / Wikidata QID: Q113901250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4184941
@@ Property / cites work: Q4184941 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520081
@@ Property / cites work: Q5520081 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on the Irrationality of ζ(2) and ζ(3)
@@ Property / cites work: A Note on the Irrationality of ζ(2) and ζ(3) / rank @@
+Normal rank
@@ Property / cites work @@
+A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
+Normal rank
@@ Property / cites work @@
+Formal and efficient primality proofs by use of computer algebra oracles
+Normal rank
@@ Property / cites work @@
+Number Theory
@@ Property / cites work: Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Binomial Coefficient Function
@@ Property / cites work: The Binomial Coefficient Function / rank @@
+Normal rank
@@ Property / cites work @@
+Finding identities with the WZ method
@@ Property / cites work: Finding identities with the WZ method / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedure for indefinite hypergeometric summation
+Normal rank
@@ Property / cites work @@
+A Computational Approach to Pocklington Certificates in Type Theory
+Normal rank
@@ Property / cites work @@
+A Skeptic's approach to combining HOL and Maple
@@ Property / cites work: A Skeptic's approach to combining HOL and Maple / rank @@
+Normal rank
@@ Property / cites work @@
+Complex Analysis
@@ Property / cites work: Complex Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+How To Do Monthly Problems With Your Computer
@@ Property / cites work: How To Do Monthly Problems With Your Computer / rank @@
+Normal rank
@@ Property / cites work @@
+Apéry's double sum is plain sailing indeed
@@ Property / cites work: Apéry's double sum is plain sailing indeed / rank @@
+Normal rank
@@ Property / cites work @@
+On the formalization of gamma function in HOL
@@ Property / cites work: On the formalization of gamma function in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4236280
@@ Property / cites work: Q4236280 / rank @@
+Normal rank
@@ Property / cites work @@
+Primality Proving with Elliptic Curves
@@ Property / cites work: Primality Proving with Elliptic Curves / rank @@
+Normal rank
@@ Property / cites work @@
+A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
+Normal rank
@@ Property / cites work @@
+Rational Functions Certify Combinatorial Identities
+Normal rank
@@ Property / cites work @@
+A holonomic systems approach to special functions identities
+Normal rank
@@ Property / DOI @@
+.1007/S10817-015-9338-0
@@ Property / DOI: 10.1007/S10817-015-9338-0 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:286798