A method of decreasing dimension by partition and automated proving for algebraic inequalities

MaRDI QIDQ3403789zbMATH OpenFDO

Authors Shengli Chen, Yong Yao, Jia Xu

Publication date 12 February 2010

zbMATH Keywords

automated theorem provingalgebraic inequalitiesdecreasing dimension by partition

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• The degree-decreasing decomposition of symmetric forms with a program for algebraic inequality decision
• Automated inequality proving and discovering
• Recent advances in automated theorem proving on inequalities
• Publication:5751975
• scientific article; zbMATH DE number 1745034

Cited in

(1)

• The degree-decreasing decomposition of symmetric forms with a program for algebraic inequality decision

This page was built for publication: A method of decreasing dimension by partition and automated proving for algebraic inequalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3403789)