Automated inequality proving and discovering
From MaRDI portal
(Redirected from Publication:3178360)
sums of squarescylindrical algebraic decompositionresultantsubresultantreal polynomialpolynomial inequality
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
Cited in
(22)- Two inequalities about the pedal triangle
- Automatic inequality proving based on interval analysis
- On n-sectors of the angles of an arbitrary triangle
- Automatic discovery of irrationality proofs and irrationality measures
- Making assumptions in the automated derivation
- On maps which preserve semipositivity and quantifier elimination theory for real numbers
- On the p-irreducibility of quintic positive polynomials
- Square-free pure triangular decomposition of zero-dimensional polynomial systems
- Proving inequalities and solving global optimization problems via simplified CAD projection
- scientific article; zbMATH DE number 6719570 (Why is no real title available?)
- 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
- Automated proofs of equality problems in Overbeek's competition
- scientific article; zbMATH DE number 719412 (Why is no real title available?)
- scientific article; zbMATH DE number 1421053 (Why is no real title available?)
- Multistability of small zero-one reaction networks
- A complete algorithm for automated discovering of a class of inequality-type theorems
- Quantifier elimination theory and maps which preserve semipositivity
- Majorization and inequalities among complete homogeneous symmetric functions
- Automated proof of mixed trigonometric-polynomial inequalities
- The localization of solutions to systems of algebraic equations and inequalities: the Hermite method
- On one-parameter families of hermiticity-preserving superoperators which are not positive
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)
