共 50 条
- [2] LAX-MILGRAM THEOREM COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1969, 268 (11): : 593 - &
- [5] A Coq Formal Proof of the Lax-Milgram Theorem PROCEEDINGS OF THE 6TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP'17, 2017, : 79 - 89
- [8] Applications of Lax-Milgram theorem to problems in frame theory SAMPLING THEORY SIGNAL PROCESSING AND DATA ANALYSIS, 2023, 21 (01):