Skip to main content
Have a personal or library account? Click to login
Formalization of Orthogonal Decomposition for Hilbert Spaces Cover

Formalization of Orthogonal Decomposition for Hilbert Spaces

Formalized Mathematics
Volume 30 (2022): Issue 4 (December 2022)
By: Hiroyuki Okazaki  
Open Access
|Feb 2023
Metrics

Metrics

DOI: https://doi.org/10.2478/forma-2022-0023 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 295 - 299
Accepted on: Dec 27, 2022
Published on: Feb 18, 2023
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Hilbert space,
orthogonal decomposition,
topological space
Related subjects:
Computer sciences,
Computer sciences, other,
Mathematics,
General mathematics

© 2023 Hiroyuki Okazaki, published by University of Białystok
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Volume 30 (2022): Issue 4 (December 2022)
Previous article