Human and automated approaches for finite trigonometric sums (Q6073934)
From MaRDI portal
scientific article; zbMATH DE number 7739353
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Human and automated approaches for finite trigonometric sums |
scientific article; zbMATH DE number 7739353 |
Statements
Human and automated approaches for finite trigonometric sums (English)
0 references
18 September 2023
0 references
finite trigonometric sums
0 references
trigonometric identities
0 references
automated identities
0 references
