Automated inequality proving and discovering

DOI10.1142/9951zbMATH Open1362.26001OpenAlexW2485122293MaRDI QIDQ3178360FDOQ3178360

Authors: Bican Xia, Lu Yang 

Publication date: 12 July 2016

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

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

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)

Cited In (17)

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

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)