Lagrange multipliers

Stream: maths

[Tyler Josephson ⚛️]

Are folks interested in formalizing the method of Lagrange multipliers? I saw this post, but I haven't found any other activity since. Starting to sketch out a formalization of statistical mechanics, and identifying techniques we'd need to have before digging in.