Pages that link to "Item:Q286798"
From MaRDI portal
The following pages link to Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec (Q286798):
Displaying 5 items.
- Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms (Q1733306) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Some open problems related to creative telescoping (Q2402228) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- (Q5856420) (← links)