Pages that link to "Item:Q5749295"
From MaRDI portal
The following pages link to Towards computerized proofs of identities (Q5749295):
Displaying 16 items.
- Residues and telescopers for bivariate rational functions (Q444428) (← links)
- Sequences of non-Gegenbauer-Humbert polynomials meet the generalized Gegenbauer-Humbert polynomials (Q555237) (← links)
- Identities in search of identity (Q688676) (← links)
- The method of differentiating under the integral sign (Q754021) (← links)
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities (Q811594) (← links)
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited (Q899436) (← links)
- The \(q\)-WZ method for infinite series (Q1023261) (← links)
- A holonomic systems approach to special functions identities (Q1173698) (← links)
- The method of creative telescoping (Q1176785) (← links)
- Automated conjecturing. III. Property-relations conjectures (Q1688717) (← links)
- Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms (Q1733306) (← links)
- Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases (Q1912176) (← links)
- On two double series for \(\pi\) and their \(q\)-analogues (Q2689942) (← links)
- (Q3581852) (← links)
- Rational function certification of multisum/integral/“𝑞” identities (Q4016745) (← links)
- Hypergeometric-type sequences (Q6543086) (← links)