Pages that link to "Item:Q2879250"
From MaRDI portal
The following pages link to A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3) (Q2879250):
Displayed 10 items.
- Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec (Q286798) (← links)
- Multiple binomial sums (Q346550) (← links)
- Proof pearl: Bounding least common multiples with triangles (Q1722641) (← links)
- Creative telescoping on multiple sums (Q2051595) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- Some open problems related to creative telescoping (Q2402228) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- (Q5856420) (← links)
- What is the point of computers? A question for pure mathematicians (Q6118162) (← links)