Some geometric properties of successive difference substitutions

DOI10.1007/s11432-010-4178-3zbMath1254.26023OpenAlexW2042077270MaRDI QIDQ415953

Junwei Shao, Song Xu, Xiaorong Hou

Publication date: 9 May 2012

Published in: Science China. Information Sciences (Search for Journal in Brave)

Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-010-4178-3

zbMATH Keywords

barycentric subdivisionnonnegativity decision of polynomssuccessive difference substitutions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Inequalities for trigonometric functions and polynomials (26D05) Real polynomials: analytic properties, etc. (26C05)

Related Items (1)

On One Method of Proving Inequalities in Automated Way

Uses Software

• QEPCAD

Cites Work

• Unnamed Item
• A complete algorithm for automated discovering of a class of inequality-type theorems
• Partial cylindrical algebraic decomposition for quantifier elimination
• Positivity conditions for bihomogeneous polynomials
• Semidefinite programming relaxations for semialgebraic problems
• Positive polynomials in control.
• Global Optimization with Polynomials and the Problem of Moments
• Deciding eventual positivity of polynomials

This page was built for publication: Some geometric properties of successive difference substitutions