Automatic proofs of some conjectures of Sun on the relations between sums of squares and sums of triangular numbers (Q2675250)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automatic proofs of some conjectures of Sun on the relations between sums of squares and sums of triangular numbers |
scientific article |
Statements
Automatic proofs of some conjectures of Sun on the relations between sums of squares and sums of triangular numbers (English)
0 references
21 September 2022
0 references
Ramanujan's theta function identities
0 references
sum of squares
0 references
sum of triangular numbers
0 references
0 references
0 references
0 references
0 references
0 references