scientific article; zbMATH DE number 6719570
From MaRDI portal
Publication:2987155
zbMATH Open1374.68488MaRDI QIDQ2987155FDOQ2987155
Authors: Zhong Liu, Shiping Chen
Publication date: 17 May 2017
Title of this publication is not available (Why is that?)
Recommendations
- Automated proof of mixed trigonometric-polynomial inequalities
- Automated proving of exponent polynomial inequalities
- Automated proving for a class of transcendental-polynomial inequalities
- Automated inequality proving and discovering
- On one method of proving inequalities in automated way
- Automatic inequality proving based on interval analysis
- Automated and readable simplification of trigonometric expressions
- Automated solving methods for a trigonometric indeterminate equation
- Approximating trigonometric functions by using exponential inequalities
- scientific article; zbMATH DE number 1293322
mechanical provinglower limit polynomialreadable provingtranscendental inequalitytrigonometric function inequalityupper limit polynomial
Inequalities for trigonometric functions and polynomials (26D05) Software, source code, etc. for problems pertaining to real functions (26-04)
Cited In (5)
- The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification
- Isolating all the real roots of a mixed trigonometric-polynomial
- Automated proving of exponent polynomial inequalities
- Automated proving for a class of transcendental-polynomial inequalities
- Automated proof of mixed trigonometric-polynomial inequalities
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2987155)