- Full text PDF available (2)
We give a criterion for bases of the ring of symmetric functions in n indeterminates over a commutative ring R with identity. A related algorithm is presented in the last section.
We prove a differential inequality for real forms of arbitrary degree, the problem being considered on closed orthants H ⊂ R n. A sufficient positivity criterion is derived. Our results allow computer implementation and contain enough information to imply the fundamental AM − GM inequality.