共 50 条
- [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):