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

zbMATH Open1199.68340MaRDI QIDQ3403789FDOQ3403789

Authors: Shengli Chen, Yong Yao, Jia Xu 

Publication date: 12 February 2010

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

zbMATH Keywords

automated theorem provingalgebraic inequalitiesdecreasing dimension by partition

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

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)