Eintrag weiter verarbeiten
The Orthogonal Projection and the Riesz Representation Theorem
Gespeichert in:
Zeitschriftentitel: | Formalized Mathematics |
---|---|
Personen und Körperschaften: | , , |
In: | Formalized Mathematics, 23, 2015, 3, S. 243-252 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Walter de Gruyter GmbH
|
Schlagwörter: |