期刊论文详细信息
Journal of inequalities and applications | |
The natural algorithmic approach of mixed trigonometric-polynomial problems | |
Tatjana Lutovac1  | |
关键词: mixed trigonometric-polynomial functions; Taylor series; approximations; inequalities; algorithms; automated theorem proving; 41A10; 26D05; 68T15; 12L05; 41A58; | |
DOI : 10.1186/s13660-017-1392-1 | |
学科分类:数学(综合) | |
来源: SpringerOpen | |