A Majorization Order on Monomials and Termination of a Successive Difference Substitution Algorithm

Abstract

We introduce a majorization order on monomials. With the help of this order, we derive a necessary condition on the positive termination of a general successive difference substitution algorithm (KSDS) for an input form $f$.

6 pages

References in corpus (1)

• Successive Difference Substitution Based on Column Stochastic Matrix and Mechanical Decision for Positive Semi-definite Forms