Formalized Functional Analysis with Semilinear Maps
Crossref DOI link: https://doi.org/10.1007/s10817-024-09696-4
Published Online: 2024-06-04
Published Print: 2024-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Dupuis, Frédéric
Lewis, Robert Y.
Macbeth, Heather
Text and Data Mining valid from 2024-06-01
Version of Record valid from 2024-06-01
Article History
Received: 25 April 2023
Accepted: 25 March 2024
First Online: 4 June 2024
Declarations
:
: The authors declare no competing interests.