Halperin's conjecture in formal dimensions up to 20

A 1976 conjecture of Halperin on positively elliptic spaces was recently confirmed in formal dimensions up to 16. In this article, we shorten the proof and extend the result up to formal dimension 20. We work with Meier’s algebraic characterization of the conjecture, so the proof is elementary in that it involves only polynomial algebras, ideals, and derivations.