Pages that link to "Item:Q5749295"
From MaRDI portal
The following pages link to Towards computerized proofs of identities (Q5749295):
Displayed 7 items.
- 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)
- A holonomic systems approach to special functions identities (Q1173698) (← links)
- The method of creative telescoping (Q1176785) (← links)
- Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases (Q1912176) (← links)
- Rational function certification of multisum/integral/“𝑞” identities (Q4016745) (← links)