Keiko Narita, Noboru Endou, Yasunari Shidama. The Orthogonal Projection and the Riesz Representation Theorem. Formalized Mathematics, 23(3):243-252, 2015. [doi]
@article{NaritaES15, title = {The Orthogonal Projection and the Riesz Representation Theorem}, author = {Keiko Narita and Noboru Endou and Yasunari Shidama}, year = {2015}, url = {http://www.degruyter.com/view/j/forma.2015.23.issue-3/forma-2015-0020/forma-2015-0020.xml}, researchr = {https://researchr.org/publication/NaritaES15}, cites = {0}, citedby = {0}, journal = {Formalized Mathematics}, volume = {23}, number = {3}, pages = {243-252}, }