Studies On Proving Techniques For Polynomial Inequalities

Posted on:2011-12-21

Degree:Master

Type:Thesis

Country:China

Candidate:C D Mu

Full Text:PDF

GTID:2120360305498810

Subject:Computer software and theory

Abstract/Summary:

PDF Full Text Request

Proof of polynomial inequalities is a hard problem in the field of automatic proof. The article studies several techniques on proof of polynomial inequalities, and improve tsds method so that we can solve more problems. Moreover, the article also studies the proof of conditioned polynomial inequalities.

Keywords/Search Tags:

Polynomial Inequalities, Successive difference substitution, Positive semi-definition

PDF Full Text Request

Related items

1	Codon Substitution Models Based On The Residue Similarity And The Position Difference And Their Applications
2	Several New Inequalities And Their Applications
3	Some Results On Weighted Mean Inequalities Combinatorial Mean Inequalities And Singular Values Of Matrices
4	Polynomial inequalities and their applications to extension problems for classes of differentiable functions
5	On The Study Of Several Generalizations Of Several Matrix Function Inequalities And Its Applications
6	Properties And Inequalities About Sector Matrices
7	The Positive Selection Estimation And Statistic Test For Two Kinds Of Codon Substitution Models
8	On The Totally Positive Algebraic Integer
9	Study On Symbolic Numerical Algorithm In Solving Polynomial System
10	Research Of Polynomial-like Mappings In Complex Dynamics