Automated inequality proving and discovering

DOI10.1142/9951MaRDI QIDQ3178360zbMATH OpenOpenAlexFDO

Authors Bican Xia, Lu Yang

Publication date 12 July 2016

Full work available at URL https://doi.org/10.1142/9951

zbMATH Keywords

sums of squarescylindrical algebraic decompositionresultantsubresultantreal polynomialpolynomial inequality

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35) Semialgebraic sets and related spaces (14P10) Inequalities for trigonometric functions and polynomials (26D05) Research exposition (monographs, survey articles) pertaining to real functions (26-02)

Recommendations

• A complete algorithm for automated discovering of a class of inequality-type theorems
• scientific article; zbMATH DE number 1421053
• Automated proof of mixed trigonometric-polynomial inequalities
• scientific article; zbMATH DE number 1745034
• Recent advances in automated theorem proving on inequalities

Cited in

(18)

• A method of decreasing dimension by partition and automated proving for algebraic inequalities
• Automatic discovery of irrationality proofs and irrationality measures
• The localization of solutions to systems of algebraic equations and inequalities: the Hermite method
• scientific article; zbMATH DE number 1421053 (Why is no real title available?)
• Quantifier elimination theory and maps which preserve semipositivity
• On \(n\)-sectors of the angles of an arbitrary triangle
• Two inequalities about the pedal triangle
• Proving inequalities and solving global optimization problems via simplified CAD projection
• Automated proofs of equality problems in Overbeek's competition
• Square-free pure triangular decomposition of zero-dimensional polynomial systems
• Automated proof of mixed trigonometric-polynomial inequalities
• scientific article; zbMATH DE number 719412 (Why is no real title available?)
• scientific article; zbMATH DE number 6719570 (Why is no real title available?)
• Making assumptions in the automated derivation
• The degree-decreasing decomposition of symmetric forms with a program for algebraic inequality decision
• Automatic inequality proving based on interval analysis
• A complete algorithm for automated discovering of a class of inequality-type theorems
• On maps which preserve semipositivity and quantifier elimination theory for real numbers

Describes a project that uses

Uses Software

• Maple
• DISCOVERER
• BOTTEMA

This page was built for publication: Automated inequality proving and discovering

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