Displaying similar documents to “Reducibility method in simply typed lambda calculus.”

Linear Dependence Of Powers Of Linear Forms

Andrzej Sładek (2015)

Annales Mathematicae Silesianae

Similarity:

The main goal of the paper is to examine the dimension of the vector space spanned by powers of linear forms. We also find a lower bound for the number of summands in the presentation of zero form as a sum of d-th powers of linear forms.