Computer Science – Symbolic Computation
Scientific paper
2009-12-09
Computer Science
Symbolic Computation
9 pages
Scientific paper
Examples show that integral forms can be efficiently proved positive semidefinite by the WDS method, but it was unknown that how many steps of substitutions are needed, or furthermore, which integral forms is this method applicable for. In this paper, we give upper bounds of step numbers of WDS required in proving that an integral form is positive definite, positive semidefinite, or not positive semidefinite, thus deducing that the WDS method is complete.
Hou Xiaorong
Shao Junwei
No associations
LandOfFree
Completeness of the WDS method in Checking Positivity of Integral Forms does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Completeness of the WDS method in Checking Positivity of Integral Forms, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Completeness of the WDS method in Checking Positivity of Integral Forms will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-275421