1 search result for "tag:"logpath:NumAnalysis.LM""

Showing 1 - 1
  1. rocq-num-analysis-lax-milgram

    No documentation

    Lax-Milgram theorem
    category:Math/Real Calculus and Topology date:2025-12 logpath:NumAnalysis.LM keyword:fixed point theorem (in a Banach space) keyword:orthogonal projection keyword:orthogonal complement keyword:Riesz-Fréchet representation theorem keyword:Lax-Milgram theorem keyword:Céa's lemma
    Sylvie Boldo François Clément Vincent Martin Micaela Mayero Florian Faissole et al.
    2.1.0
    LGPL-3.0-or-later
    Used by 1 other packages
    27 Nov 2025