共 50 条
- [11] A Formal Proof Of The Riesz Representation Theorem JOURNAL OF FORMALIZED REASONING, 2011, 4 (01): : 1 - 24
- [13] A nonlinear version of the Riesz's representation theorem COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1997, 324 (09): : 1011 - 1014
- [20] The Riesz representation theorem and weak∗ compactness of semimartingales Finance and Stochastics, 2020, 24 : 827 - 870