scientific article; zbMATH DE number 7106478
From MaRDI portal
Publication:5195242
DOI10.6092/ISSN.1972-5787/1952zbMath1451.68325MaRDI QIDQ5195242
Publication date: 18 September 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product) (46C05) Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Duality and reflexivity in normed linear and Banach spaces (46B10) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (1)
Uses Software
This page was built for publication:
