Prefer a chat interface with context about you and your work?
An analogue of Moreau’s proximation theorem, with application to the nonlinear complementarity problem