scientific article; zbMATH DE number 7156474

From MaRDI portal

Publication:5210068

Jump to:navigation, search

zbMath1449.68142MaRDI QIDQ5210068

Zhong Liu, Shi Ping Chen

Publication date: 22 January 2020

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

zbMATH Keywords

regular expansion successive Taylor-substitution Taylor-substitution transcendental-polynomial inequalities

Mathematics Subject Classification ID

Inequalities involving other types of functions (26D07) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

Maple

This page was built for publication:

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