scientific article; zbMATH DE number 6719570

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

zbMATH Keywords

mechanical provinglower limit polynomialreadable provingtranscendental inequalitytrigonometric function inequalityupper limit polynomial

Mathematics Subject Classification ID

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

• Maple
• BOTTEMA

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)