I am reading an old paper dealing with linear differential operators. At one point it refers to something it calls the "eliminant" of a set of linear differential operators. It seems that this was a well-known concept at the time (the 1920-ies) but I have not heard of it before. I think I can guess what the eliminant is, at least in the particular case I the paper considers, from context. But I would really need to read up on the theory for eliminants to fully understand the paper. Does anyone have a reference?