Weighted difference substitutions and nonnegativity decision of forms
From MaRDI portal
Publication:3170646
zbMATH Open1240.68302MaRDI QIDQ3170646FDOQ3170646
Authors: Xiaorong Hou, Song Xu, Junwei Shao
Publication date: 29 September 2011
Recommendations
- Some geometric properties of successive difference substitutions
- Testing positiveness of polynomials
- Bounds on the number of steps of WDS required for checking the positivity of integral forms
- Difference substitution matrices and decision on nonnegativity of polynomials
- scientific article; zbMATH DE number 6310635
Mechanization of proofs and logical operations (03B35) Inequalities for trigonometric functions and polynomials (26D05)
Cited In (3)
This page was built for publication: Weighted difference substitutions and nonnegativity decision of forms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3170646)