Automated proof of mixed trigonometric-polynomial inequalities (Q2188988)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated proof of mixed trigonometric-polynomial inequalities |
scientific article |
Statements
Automated proof of mixed trigonometric-polynomial inequalities (English)
0 references
15 June 2020
0 references
mixed trigonometric-polynomial inequalities
0 references
Taylor substitution
0 references
readable proof
0 references
0 references
0 references
