The natural algorithmic approach of mixed trigonometric-polynomial problems (Q2012330)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The natural algorithmic approach of mixed trigonometric-polynomial problems |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The natural algorithmic approach of mixed trigonometric-polynomial problems |
scientific article |
Statements
The natural algorithmic approach of mixed trigonometric-polynomial problems (English)
0 references
31 July 2017
0 references
mixed trigonometric-polynomial functions
0 references
Taylor series
0 references
approximations
0 references
inequalities
0 references
algorithms
0 references
automated theorem proving
0 references
0 references
0 references
0 references
0.89233667
0 references
0.87536156
0 references
0.87474394
0 references
0.8680256
0 references
0.86146635
0 references
0.8528469
0 references
0.85205054
0 references
