scientific article; zbMATH DE number 6719570

MaRDI QIDQ2987155zbMATH OpenFDO

Authors Zhong Liu, Shiping Chen

Publication date 17 May 2017

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)

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

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

Describes a project that uses

Uses Software

• BOTTEMA
• Maple

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)