An algebraic extension of the Lax-Milgram theorem
scientific article; zbMATH DE number 3721535