共 50 条
- [2] LAX-MILGRAM THEOREM COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1969, 268 (11): : 593 - &
- [9] 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