Pages that link to "Item:Q2229703"
From MaRDI portal
The following pages link to A method of verifying partition congruences by symbolic computation (Q2229703):
Displaying 4 items.
- Computer-assisted proofs of congruences for multipartitions and divisor function convolutions, based on methods of differential algebra (Q2070374) (← links)
- Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration (Q2802385) (← links)
- A single-variable proof of the omega SPT congruence family over powers of 5 (Q6073926) (← links)
- The localization method applied to \(k\)-elongated plane partitions and divisibility by 5 (Q6667156) (← links)