Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:2987155

Jump to:navigation, search

zbMath1374.68488MaRDI QIDQ2987155

Zhong Liu, Shi Ping Chen

Publication date: 17 May 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

mechanical proving lower limit polynomial readable proving transcendental inequality trigonometric function inequality upper limit polynomial

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to real functions (26-04) Inequalities for trigonometric functions and polynomials (26D05)

Related Items (2)

Isolating all the real roots of a mixed trigonometric-polynomial ⋮ Automated proof of mixed trigonometric-polynomial inequalities

Uses Software

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2987155&oldid=15997045"